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 /tools/mpfr | |
| 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 'tools/mpfr')
0 files changed, 0 insertions, 0 deletions