diff --git a/testing/coverage/coverall b/testing/coverage/coverall index 361414327..3ea57a277 100755 --- a/testing/coverage/coverall +++ b/testing/coverage/coverall @@ -1,6 +1,6 @@ #!/bin/bash -if [ -z "${TRAVIS_TAG}" ]; then +if [ -n "${TRAVIS_TAG}" ]; then exit 0 fi