diff --git a/tests/scripts/basic-build-test.sh b/tests/scripts/basic-build-test.sh index 97120ea84..52bcffc7a 100755 --- a/tests/scripts/basic-build-test.sh +++ b/tests/scripts/basic-build-test.sh @@ -217,3 +217,7 @@ make clean if [ -f "$CONFIG_BAK" ]; then mv "$CONFIG_BAK" "$CONFIG_H" fi + +if [ $TOTAL_FAIL -ne 0 ]; then + exit 1 +fi