David > PS: All it should take is to replace libc/sysdeps/linux/alpha/times.c
David > with times.S containing the following lines (and updating the
David > Makefile).
David >
David > #include <sysdep.h>
David > SYSCALL__ (times, 1)
David > RETSYS(__times)
I did not experiment this fix, because I had already written a workaround in
the source code for time(1): I changed some of the calls to times(2) by calls
to time(2); while it gives an accuracy of 1 second (yes, dear), the command
line:
/usr/local/bin/time sleep 2
gives now a not silly value for the elapsed time. So you have now several
means
to fix the time(1) problem. Good luck!
fred