Page MenuHomeFreeBSD

D14032.id.diff
No OneTemporary

D14032.id.diff

Index: head/usr.bin/time/time.c
===================================================================
--- head/usr.bin/time/time.c
+++ head/usr.bin/time/time.c
@@ -121,7 +121,7 @@
setvbuf(out, (char *)NULL, _IONBF, (size_t)0);
}
- if (clock_gettime(CLOCK_REALTIME, &before_ts))
+ if (clock_gettime(CLOCK_MONOTONIC, &before_ts))
err(1, "clock_gettime");
switch(pid = fork()) {
case -1: /* error */
@@ -141,13 +141,13 @@
while (wait4(pid, &status, 0, &ru) != pid) {
if (siginfo_recvd) {
siginfo_recvd = 0;
- if (clock_gettime(CLOCK_REALTIME, &after))
+ if (clock_gettime(CLOCK_MONOTONIC, &after))
err(1, "clock_gettime");
getrusage(RUSAGE_CHILDREN, &ru);
showtime(stdout, &before_ts, &after, &ru);
}
}
- if (clock_gettime(CLOCK_REALTIME, &after))
+ if (clock_gettime(CLOCK_MONOTONIC, &after))
err(1, "clock_gettime");
if ( ! WIFEXITED(status))
warnx("command terminated abnormally");

File Metadata

Mime Type
text/plain
Expires
Sun, Mar 8, 10:06 AM (3 h, 11 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
29370076
Default Alt Text
D14032.id.diff (935 B)

Event Timeline