diff --git a/scripts/travis.sh b/scripts/travis.sh index 1f2b17a3de..94b900b520 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -65,6 +65,7 @@ if [ "$CC" = "clang" ]; then if ! $MAKE_CMD test; then reset check_and_report + exit 1 fi check_and_report $MAKE_CMD install