diff --git a/tools/test-launcher.sh b/tools/test-launcher.sh index 11ce0938f..035f92231 100755 --- a/tools/test-launcher.sh +++ b/tools/test-launcher.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -eux +set -eu set -o pipefail cleanup()