diff options
| -rwxr-xr-x | scripts/time.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/time.pl b/scripts/time.pl index a23b57c89e..6f10170b3b 100755 --- a/scripts/time.pl +++ b/scripts/time.pl @@ -54,7 +54,7 @@ else { my ($sec2, $usec2) = gettime(); my (undef, undef, $cuser, $csystem) = times(); - printf STDERR "%s#%.2f#%.2f#%.2f\n", + printf STDOUT "%s#%.2f#%.2f#%.2f\n", $prefix, $cuser, $csystem, ($sec2 - $sec) + ($usec2 - $usec) / 1000000; |