diff --git a/benchmark/init.sh b/benchmark/init.sh index 9116581..b57736b 100755 --- a/benchmark/init.sh +++ b/benchmark/init.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -e +set -Eeu set -o pipefail cd "$(dirname "$0")" set -x