diff --git a/coverage.sh b/coverage.sh index cb6c839..1c374ff 100755 --- a/coverage.sh +++ b/coverage.sh @@ -2,8 +2,12 @@ set -e +if [ "$TRAVIS_CI" == "private" ]; then + exit 0 +fi + if [ "$#" != "5" ]; then - echo "Usage is: ${0} \"coverage\" \"\" \"\" \"\" " + echo "Usage is: ${0} \"coverage\" \"\" \"\" \"\" " echo "CC=gcc ${0} \"coverage\" \" \" \"makefile\" \"-DUSE_LTM -DLTM_DESC -I../libtommath\" ../libtommath/libtommath.a" exit -1 fi