diff options
| -rw-r--r-- | .travis.yml | 4 | ||||
| -rwxr-xr-x | build-aux/travis-deploy.sh | 5 | 
2 files changed, 3 insertions, 6 deletions
| diff --git a/.travis.yml b/.travis.yml index 84d8680..cd2d134 100644 --- a/.travis.yml +++ b/.travis.yml @@ -44,4 +44,6 @@ deploy:    on:      repo: blogc/blogc      branch: master -    condition: $CC = gcc +    condition: +      - $CC = gcc +      - $TARGET != valgrind diff --git a/build-aux/travis-deploy.sh b/build-aux/travis-deploy.sh index 267c8d5..71469ff 100755 --- a/build-aux/travis-deploy.sh +++ b/build-aux/travis-deploy.sh @@ -2,11 +2,6 @@  set -e -if [[ "x${TARGET}" != xw* ]] && [[ "x${TARGET}" != xdist* ]]; then -    echo "Nothing to deploy." -    exit 0 -fi -  if [[ ! -d build ]]; then      echo "Build directory not found."      exit 1 | 
