diff options
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 70ffc315..571a64ef 100644 --- a/.travis.yml +++ b/.travis.yml @@ -56,6 +56,4 @@ script: - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then touch .devel configure; fi - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then ./configure; fi - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then make -s all findalldevstest; fi - -after_script: - if [ "$COVERITY_SCAN_BRANCH" != 1 ]; then ./findalldevstest; fi |