> Note the difference in command lines: Ian ran "time" on an outside > machine, so that the machine was not timing its own "sleep" command.
I get the same (correct) result when using another host running i386 linux to time the sleep command: $ time ssh feynman "sleep 5; echo done" done real 0m5.102s user 0m0.011s sys 0m0.002s > This bug is probably one[1] that has been discussed at some length on > the linux-kernel list (after it showed up here). Looks like it, but as far as I can tell this also causes the time of day to advance twice as fast as it should... I would think Ian would notice this before testing out "sleep". -David
