Specify the project name for coverity, trying to fix #785

This commit is contained in:
Ebrahim Byagowi 2018-02-13 15:12:43 +03:30 committed by GitHub
parent b969a82e30
commit 7caddb51b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -13,6 +13,7 @@ env:
- 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: