try again to skip coverage on release

2016-10-24 16:45:02 +02:00 · 2016-10-24 16:45:02 +02:00 · 360c222c1c
parent 1fb9a911cd
commit 360c222c1c
1 changed files with 1 additions and 1 deletions
--- a/testing/coverage/coverall
+++ b/testing/coverage/coverall
@ -1,6 +1,6 @@
 #!/bin/bash

-if [ -z ${TRAVIS_TAG+x} ]; then
+if [ -z "${TRAVIS_TAG}" ]; then
  exit 0
 fi