diff options
author | 2018-05-20 19:32:10 +0200 | |
---|---|---|
committer | 2018-05-20 19:32:10 +0200 | |
commit | 934ad997a3aa3c6f890c89e1c16aad4f838f5cf4 (patch) | |
tree | 77fc8ae28fb02208d977d3c6643d73bf866a7ae6 | |
parent | removes the python deploy script in favour of a curl command (#74) (diff) |
remove set -e
-rw-r--r-- | scripts/deploy.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/deploy.sh b/scripts/deploy.sh index d1ac047d..1ae0c1f1 100644 --- a/scripts/deploy.sh +++ b/scripts/deploy.sh @@ -1,5 +1,4 @@ #!/bin/bash -set -e # Build and deploy on master branch if [[ $TRAVIS_BRANCH == 'master' && $TRAVIS_PULL_REQUEST == 'false' ]]; then |