diff options
Diffstat (limited to 'release/deploy-github.sh')
-rwxr-xr-x | release/deploy-github.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release/deploy-github.sh b/release/deploy-github.sh index 2dca0e2d..9480604b 100755 --- a/release/deploy-github.sh +++ b/release/deploy-github.sh @@ -1,4 +1,5 @@ #!/usr/bin/env bash +set -ex trap 'exit 1' SIGINT SIGTERM |