From 929f411c18c6bf403e7add4d7283dd1f51ac8b5e Mon Sep 17 00:00:00 2001 From: Patrick Juen Date: Wed, 19 Jun 2024 17:22:11 +0800 Subject: [PATCH] exit script on errors --- tools/run-benchmark.sh | 2 ++ 1 file changed, 2 insertions(+) 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