diff options
| author | Nicolas Hillegeer <nicolas@hillegeer.com> | 2014-05-31 16:57:42 +0200 |
|---|---|---|
| committer | Nicolas Hillegeer <nicolas@hillegeer.com> | 2014-05-31 16:57:42 +0200 |
| commit | cd457b72ecfc0804af9c5e4a2b48058cd2fdde12 (patch) | |
| tree | fad29e93236094881423cbd85dd2a965d53cdaaa | |
| parent | 9d60365e993181213a66f15df4166cbba165ac2e (diff) | |
| download | rneovim-cd457b72ecfc0804af9c5e4a2b48058cd2fdde12.tar.gz rneovim-cd457b72ecfc0804af9c5e4a2b48058cd2fdde12.tar.bz2 rneovim-cd457b72ecfc0804af9c5e4a2b48058cd2fdde12.zip | |
travis/coverity: hotfix #2, unbreak build
I hadn't spotted that the `sh -e` commandline was being used. I *think* this
is what's causing the exit 0 line not to run. Pray for success.
It's a real shame I can't this locally, what a mess.
| -rwxr-xr-x | scripts/travis.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/travis.sh b/scripts/travis.sh index 50080141ce..83eba872cd 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -78,6 +78,10 @@ fi MAKE_CMD="make -j2" if [ "$TRAVIS_BUILD_TYPE" = "coverity" ]; then + # temporarily disable error checking, the coverity script exits with + # status code 1 whenever it (1) fails OR (2) is not on the correct + # branch. + set +e curl -s https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh | COVERITY_SCAN_PROJECT_NAME="neovim/neovim" \ COVERITY_SCAN_NOTIFICATION_EMAIL="coverity@aktau.be" \ @@ -85,6 +89,7 @@ if [ "$TRAVIS_BUILD_TYPE" = "coverity" ]; then COVERITY_SCAN_BUILD_COMMAND_PREPEND="$MAKE_CMD deps" \ COVERITY_SCAN_BUILD_COMMAND="$MAKE_CMD nvim" \ bash + set -e exit 0 elif [ "$TRAVIS_BUILD_TYPE" = "clang/asan" ]; then if [ ! -d /usr/local/clang-3.4 ]; then |