diff options
| -rwxr-xr-x | .travis/test-run.sh | 5 | 
1 files changed, 1 insertions, 4 deletions
| diff --git a/.travis/test-run.sh b/.travis/test-run.sh index 8858dd8..b9bd083 100755 --- a/.travis/test-run.sh +++ b/.travis/test-run.sh @@ -50,10 +50,7 @@ RV=0  if [[ ${BUILD} -eq 1 ]]; then      pushd "${BUILD_DIR}" > /dev/null -    set +e -    build -    RV=$? -    set -e +    build || RV=1      popd > /dev/null  fi | 
