diff --git a/benchmark/benchmark.sh b/benchmark/benchmark.sh index 1e2c41f..c11cbaf 100644 --- a/benchmark/benchmark.sh +++ b/benchmark/benchmark.sh @@ -18,6 +18,7 @@ do done done +export DEBIAN_FRONTEND=noninteractive TIMEFORMAT=%0R /usr/bin/time ${@:1} > /dev/null cd ../ && rm -rf temp/