mirror of
https://github.com/neovim/neovim.git
synced 2025-12-11 17:12:40 +00:00
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.
This commit is contained in:
@@ -78,6 +78,10 @@ fi
|
|||||||
MAKE_CMD="make -j2"
|
MAKE_CMD="make -j2"
|
||||||
|
|
||||||
if [ "$TRAVIS_BUILD_TYPE" = "coverity" ]; then
|
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 |
|
curl -s https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh |
|
||||||
COVERITY_SCAN_PROJECT_NAME="neovim/neovim" \
|
COVERITY_SCAN_PROJECT_NAME="neovim/neovim" \
|
||||||
COVERITY_SCAN_NOTIFICATION_EMAIL="coverity@aktau.be" \
|
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_PREPEND="$MAKE_CMD deps" \
|
||||||
COVERITY_SCAN_BUILD_COMMAND="$MAKE_CMD nvim" \
|
COVERITY_SCAN_BUILD_COMMAND="$MAKE_CMD nvim" \
|
||||||
bash
|
bash
|
||||||
|
set -e
|
||||||
exit 0
|
exit 0
|
||||||
elif [ "$TRAVIS_BUILD_TYPE" = "clang/asan" ]; then
|
elif [ "$TRAVIS_BUILD_TYPE" = "clang/asan" ]; then
|
||||||
if [ ! -d /usr/local/clang-3.4 ]; then
|
if [ ! -d /usr/local/clang-3.4 ]; then
|
||||||
|
|||||||
Reference in New Issue
Block a user