Add Travis based Coverity trigger (#778)
authorEbrahim Byagowi <ebrahim@gnu.org>
Mon, 12 Feb 2018 07:57:00 +0000 (11:27 +0330)
committerGitHub <noreply@github.com>
Mon, 12 Feb 2018 07:57:00 +0000 (11:27 +0330)
.ci/trigger-coverity.sh [new file with mode: 0644]
.travis.yml

diff --git a/.ci/trigger-coverity.sh b/.ci/trigger-coverity.sh
new file mode 100644 (file)
index 0000000..e241692
--- /dev/null
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+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
+
+git fetch --unshallow
+git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.git"
+git push -q upstream master:coverity_scan
index 5516e71..5611725 100644 (file)
@@ -11,6 +11,8 @@ env:
     - LDFLAGS="--coverage"
     - CONFIGURE_OPTS="--with-freetype --with-glib --with-gobject --with-cairo --with-icu --with-graphite2"
     - NOCONFIGURE=1
+    # COVERITY_SCAN_TOKEN
+    - secure: "MRJtVu/fQoWNwMAamvIJBCX/1SMvEuEUk/ljAif/y2/3syyWgxFGp17UGnDILdoZYyCqTM+jQciY2P0nVqbjjOAUlML4QOAalqw8kPp8iTsnHUe+KOMVrOVP6p6qAQxk1im1O41cCMkmVKvk+NXe/on5euz6LGF2laHZaOAMoes="
 
 matrix:
   include:
@@ -28,6 +30,7 @@ matrix:
       after_success:
         - bash .ci/run-coveralls.sh # for coveralls.io code coverage tracking
         - bash .ci/deploy-docs.sh
+        - bash .ci/trigger-coverity.sh
 
     - os: linux
       compiler: clang
@@ -73,3 +76,14 @@ addons:
       - libicu-dev # for extra unicode functions
       - libgraphite2-dev # for extra shapers
       #- libgirepository1.0-dev # for gobject-introspection
+
+addons:
+  coverity_scan:
+    project:
+      name: harfbuzz/harfbuzz
+      version: 1.0
+      description: HarfBuzz OpenType text shaping engine
+    notification_email: harfbuzz@lists.freedesktop.org
+    build_command_prepend: ./autogen.sh --with-freetype --with-glib --with-gobject --with-cairo --with-icu --with-graphite2
+    build_command: make
+    branch_pattern: coverity_scan
\ No newline at end of file