diff options
| -rwxr-xr-x | scripts/travis.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |