commit | 7caddb51b1e69a2803f86756e2ce2acff685c7d0 | [log] [tgz] |
---|---|---|
author | Ebrahim Byagowi <ebrahim@gnu.org> | Tue Feb 13 15:12:43 2018 +0330 |
committer | GitHub <noreply@github.com> | Tue Feb 13 15:12:43 2018 +0330 |
tree | 1e113a444163fa0a5221e7aa3612f2b59d3e54a0 | |
parent | b969a82e30f0ff7bf6b2ea2600ef170764774a8c [diff] |
Specify the project name for coverity, trying to fix #785
diff --git a/.travis.yml b/.travis.yml index e2de503..fa9e5bc 100644 --- a/.travis.yml +++ b/.travis.yml
@@ -13,6 +13,7 @@ - NOCONFIGURE=1 # COVERITY_SCAN_TOKEN - secure: "MRJtVu/fQoWNwMAamvIJBCX/1SMvEuEUk/ljAif/y2/3syyWgxFGp17UGnDILdoZYyCqTM+jQciY2P0nVqbjjOAUlML4QOAalqw8kPp8iTsnHUe+KOMVrOVP6p6qAQxk1im1O41cCMkmVKvk+NXe/on5euz6LGF2laHZaOAMoes=" + - PROJECT_NAME="behdad/harfbuzz" # the project name on coverity matrix: include: