diff options
| author | Pali Rohár <pali.rohar@gmail.com> | 2017-03-03 18:44:29 +0100 |
|---|---|---|
| committer | Pali Rohár <pali.rohar@gmail.com> | 2017-03-03 18:44:29 +0100 |
| commit | 76b18b9d39211dbb027b59e01570b9a384fb2b2c (patch) | |
| tree | 3d6685360b46fdcc748f088f66856a51b5ab7b2c | |
| parent | ffcc10f6895151176c29ffd2301c5b124b5a5440 (diff) | |
| download | 0xFFFF-76b18b9d39211dbb027b59e01570b9a384fb2b2c.tar.bz2 | |
travis: Fix coverity job
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 5139ef2..2c41beb 100644 --- a/.travis.yml +++ b/.travis.yml @@ -27,5 +27,5 @@ matrix: branch_pattern: master script: - - if [ "$COVERITY_SCAN_BRANCH" = "1" ]; then exit 0; fi + - if [ -n "$COVERITY_SCAN_TOKEN" ]; then exit 0; fi - make |