diff options
Diffstat (limited to 'scripts/travis.sh')
| -rwxr-xr-x | scripts/travis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/travis.sh b/scripts/travis.sh index 4b908ac2f4..50080141ce 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -85,7 +85,7 @@ if [ "$TRAVIS_BUILD_TYPE" = "coverity" ]; then COVERITY_SCAN_BUILD_COMMAND_PREPEND="$MAKE_CMD deps" \ COVERITY_SCAN_BUILD_COMMAND="$MAKE_CMD nvim" \ bash - exit $? + exit 0 elif [ "$TRAVIS_BUILD_TYPE" = "clang/asan" ]; then if [ ! -d /usr/local/clang-3.4 ]; then echo "Downloading clang 3.4..." |