diff --git a/bench.sh b/bench.sh index 4cef5255..42e5031d 100755 --- a/bench.sh +++ b/bench.sh @@ -1,5 +1,7 @@ #!/bin/bash NUM=${1:-20} +# clean previous +rm -rf log_* result_* for i in $(seq $NUM); do BASE_DIR=$(pwd) ./run_tests.sh -c &> /tmp/run_tests.log if [[ $? -ne 0 ]]; then