commit: 2b5177fa20637891eeca9aa969e33ca45e5dceb9
parent b15084fa91fb6f68b75187f03c87b1b666dcb582
Author: Haelwenn (lanodan) Monnier <contact@hacktivis.me>
Date: Sat, 30 Nov 2024 15:29:54 +0100
cmd/time: in -v output, align real & user to system
Makes it much easier to compare.
Padding done prior to colon(:) to ease extraction.
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/cmd/time.c b/cmd/time.c
@@ -127,8 +127,8 @@ main(int argc, char *argv[])
break;
case CMD_TIME_VERBOSE:
fprintf(stderr, "\tExecutable: %s\n", argv[0]);
- fprintf(stderr, "\tReal time: %06f\n", (t1 - t0) / (double)ticks);
- fprintf(stderr, "\tUser time: %06f\n", utime_s);
+ fprintf(stderr, "\tReal time : %06f\n", (t1 - t0) / (double)ticks);
+ fprintf(stderr, "\tUser time : %06f\n", utime_s);
fprintf(stderr, "\tSystem time: %06f\n", stime_s);
#ifdef __linux__
fprintf(stderr, "\tMaximum resident set size (maxrss): %ld kB\n", usage.ru_maxrss);