[ci] minor

diff --git a/.ci/trigger-coverity.sh b/.ci/trigger-coverity.sh
index e241692..19852bd 100644 (file)
--- 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"