diff options
| author | Alban Bedel <albeu@free.fr> | 2019-06-15 12:18:01 +0200 |
|---|---|---|
| committer | Petr Štetiar <ynezz@true.cz> | 2019-07-03 07:45:00 +0200 |
| commit | 340df72e0745236379554dc9ff487e260a424465 (patch) | |
| tree | 61f0faebed4dc861feec59a440935bce9c200f65 /scripts/time.pl | |
| parent | 47a984477b1d300047b3001971f0af0e371ea9ee (diff) | |
| download | upstream-340df72e0745236379554dc9ff487e260a424465.tar.gz upstream-340df72e0745236379554dc9ff487e260a424465.tar.bz2 upstream-340df72e0745236379554dc9ff487e260a424465.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>
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; |