diff --git a/ci/check_cpu_features.sh b/ci/check_cpu_features.sh index 7992a5ed67..b954ee38a5 100755 --- a/ci/check_cpu_features.sh +++ b/ci/check_cpu_features.sh @@ -2,6 +2,7 @@ # Ensure that there has not been a change in CPU features used. + set -e cd $(dirname $0)/..