Travis: use travis_terminate instead of exit in script:.

That was the Travis maintainer's recommendation to fix the hang we were
seeing on non-x86-64 Linux coverity_scan builds.

diff --git a/.travis.yml b/.travis.yml
index 1f792ee1fc7c1e9756d23cc35a5484810ef05a8f..2c821f37f4711763827c967209dabf69dac66e02 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -152,7 +152,7 @@ before_script:
   - if [ "$BUILD_LIBPCAP" = yes ]; then (cd .. && echo '$ git clone [...] libpcap.git' && git clone --depth 3 --branch=master --quiet git://github.com/the-tcpdump-group/libpcap.git && cd libpcap && ./configure "--${REMOTE}-remote" --prefix=/tmp && make && make install); fi
 
 script:
-  - if [ "$COVERITY_SCAN_BRANCH" = 1 ]; then exit 0; fi
+  - if [ "$COVERITY_SCAN_BRANCH" = 1 ]; then travis_terminate 0; fi
   - if [ "$TRAVIS_OS_NAME" = osx ]; then OSX_SSL_DIR=$(ls /usr/local/Cellar/openssl); echo "OSX_SSL_DIR=$OSX_SSL_DIR"; fi
   - touch .devel configure
   - if [ "$CMAKE" = no ]; then echo '$ ./configure [...]' && echo travis_fold:start:script.configure; fi