diff options
| author | Philipp Hansch <dev@phansch.net> | 2018-05-16 18:55:21 +0200 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2018-05-16 18:55:21 +0200 |
| commit | 9e6dc8d2d51907f3ddf26b01257830e3c3ccec64 (patch) | |
| tree | a4dc81d70985be5d57bc315a9bc23fee0d70783d /.github/deploy.sh | |
| parent | 4abd4a12b77952061c59c900ba40ddeec0915dbe (diff) | |
Add exec bit, add set -ex to ci test files
Diffstat (limited to '.github/deploy.sh')
| -rwxr-xr-x | .github/deploy.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/deploy.sh b/.github/deploy.sh index aa76f8f4e41..1d206e61167 100755 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -1,8 +1,7 @@ #!/bin/bash # Automatically deploy on gh-pages -set -e -set -x +set -ex SOURCE_BRANCH="master" TARGET_BRANCH="gh-pages" |