diff options
| author | Alban Bedel <albeu@free.fr> | 2019-06-15 12:18:01 +0200 |
|---|---|---|
| committer | Jo-Philipp Wich <jo@mein.io> | 2019-09-04 13:23:00 +0200 |
| commit | ffdf98b2047c35c65dc7c7902b8ad8664f89c840 (patch) | |
| tree | 2bdc655d7b9faf69fb1fe5587e819c10cbd4f503 /scripts/time.pl | |
| parent | a7be52284cbe113b13a542e45cbfa377c9db974e (diff) | |
| download | upstream-ffdf98b2047c35c65dc7c7902b8ad8664f89c840.tar.gz upstream-ffdf98b2047c35c65dc7c7902b8ad8664f89c840.tar.bz2 upstream-ffdf98b2047c35c65dc7c7902b8ad8664f89c840.zip | |
scripts: time.pl: Don't print the time on stderr
Having the build time written on stderr make it appear with V=w
although it is not an error or warning. Just write the time on stdout
to have it part of the build log like all the rest, but not clutter
the output when only warnings and errors should be shown.
Signed-off-by: Alban Bedel <albeu@free.fr>
(cherry picked from commit 340df72e0745236379554dc9ff487e260a424465)
Diffstat (limited to 'scripts/time.pl')
| -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; |