projects
/
platform
/
upstream
/
libHarfBuzzSharp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a3e29fd
)
[ci] minor
author
Ebrahim Byagowi
<ebrahim@gnu.org>
Mon, 5 Mar 2018 09:28:34 +0000
(12:58 +0330)
committer
GitHub
<noreply@github.com>
Mon, 5 Mar 2018 09:28:34 +0000
(12:58 +0330)
.ci/trigger-coverity.sh
patch
|
blob
|
history
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"