From 78f816e9af24de10745155b245c66093f6b15601 Mon Sep 17 00:00:00 2001
From: Vincent Bernat <vincent@bernat.im>
Date: Fri, 16 May 2014 09:54:05 +0200
Subject: [PATCH] travis: when running coverity, skip regular build

---
 .travis/run.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.travis/run.sh b/.travis/run.sh
index a73856c5..2492748c 100755
--- 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"
-- 
2.39.5