diff --git a/tools/run-benchmark.sh b/tools/run-benchmark.sh index b1f4c04..51c39f5 100755 --- a/tools/run-benchmark.sh +++ b/tools/run-benchmark.sh @@ -1,4 +1,6 @@ #!/bin/bash +set -e +set -o pipefail # Check if the correct number of arguments are provided if [ "$#" -ne 10 ]; then