From 5895fe3d4d0441dacf8989740cf4150193397796 Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Mon, 5 Mar 2018 12:58:34 +0330
Subject: [PATCH] [ci] minor

---
 .ci/trigger-coverity.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/.ci/trigger-coverity.sh b/.ci/trigger-coverity.sh
index e2416922e..19852bd11 100644
--- a/.ci/trigger-coverity.sh
+++ b/.ci/trigger-coverity.sh
@@ -3,10 +3,8 @@
 set -x
 set -o errexit -o nounset
 
-if test "x$TRAVIS_EVENT_TYPE" != x"cron"; then exit; fi
-
-BRANCH="$TRAVIS_BRANCH"
-if test "x$BRANCH" != xmaster; then exit; fi
+if test x"$TRAVIS_EVENT_TYPE" != x"cron"; then exit; fi
+if test x"$TRAVIS_BRANCH" != x"master"; then exit; fi
 
 git fetch --unshallow
 git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.git"