travis: when running coverity, skip regular build

diff --git a/.travis/run.sh b/.travis/run.sh
index a73856c5085bab8dc3bb21bdc5a92ad7a4766f9d..2492748c7e265e750dc7fb4c9c7c327a27320b22 100755 (executable)
--- a/.travis/run.sh
+++ b/.travis/run.sh
@@ -4,4 +4,10 @@ set -e
 
 ./autogen.sh
 ./configure $LLDPD_CONFIG_ARGS
-make distcheck DISTCHECK_CONFIGURE_FLAGS="$LLDPD_CONFIG_ARGS --with-systemdsystemunitdir=no --with-launchddaemonsdir=no"
+
+# When running coverity, do not run make
+[ "${COVERITY_SCAN_BRANCH}" != 1 ] || exit 0
+
+LLDPD_CONFIG_ARGS="$LLDPD_CONFIG_ARGS --with-systemdsystemunitdir=no"
+LLDPD_CONFIG_ARGS="$LLDPD_CONFIG_ARGS --with-launchddaemonsdir=no"
+make distcheck DISTCHECK_CONFIGURE_FLAGS="$LLDPD_CONFIG_ARGS"