Redirect time statistics to stdout (fixes #4)

This commit is contained in:
Nils Steinger 2019-02-20 15:42:06 +01:00
parent 4bfd1788ec
commit 3ede178eb3
1 changed files with 2 additions and 2 deletions

View File

@ -61,8 +61,8 @@ command_benchmark()
if command_exists "$1"
then
time "$gnu_dd" if=/dev/zero bs=1M count=500 2> /dev/null | \
"$@" > /dev/null
( time "$gnu_dd" if=/dev/zero bs=1M count=500 2> /dev/null | \
"$@" > /dev/null ) 2>&1
else
if [ "$QUIET" -ne 1 ]
then