diff --git a/.github/scripts/check_leak.sh b/.github/scripts/check_leak.sh index 4b84b7feb5..1e69c52def 100755 --- a/.github/scripts/check_leak.sh +++ b/.github/scripts/check_leak.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -e if [ "$#" -ne 1 ]; then echo "Expected build log as argument"