diff --git a/benchmark/benchmark.sh b/benchmark/benchmark.sh index 4e014f2..dae39b2 100644 --- a/benchmark/benchmark.sh +++ b/benchmark/benchmark.sh @@ -18,6 +18,6 @@ do done done -TIMEFORMAT=%0R time $2 > /dev/null +TIMEFORMAT=%0R time ${@:1} > /dev/null cd ../ && rm -rf temp/