diff options
Diffstat (limited to 'build-aux')
| -rwxr-xr-x | build-aux/travis-deploy.sh | 5 | 
1 files changed, 0 insertions, 5 deletions
| 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 | 
