diff --git a/scripts/ci/run_benchmarks.sh b/scripts/ci/run_benchmarks.sh index 0d0324d13..103bb829e 100755 --- a/scripts/ci/run_benchmarks.sh +++ b/scripts/ci/run_benchmarks.sh @@ -40,6 +40,7 @@ function measure_peak_ram_and_time { # on macOS time has different parameters, so simply run command on macOS $COMMAND > /dev/null 2>&1 else + OUTPUT=$(/usr/bin/time -f "%e %M" $COMMAND 2>&1 | tail -n 1) TIME=$(echo $OUTPUT | awk '{print $1}')