diff --git a/scripts/ci/run_benchmarks.sh b/scripts/ci/run_benchmarks.sh index a747e2147..9547dbc32 100755 --- a/scripts/ci/run_benchmarks.sh +++ b/scripts/ci/run_benchmarks.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -e pipefail +set -eou pipefail function run_benchmarks_for_folder { echo "Running benchmarks for $1"