diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-03-06 18:22:29 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-03-09 06:45:58 +0100 |
| commit | f810f14cf61db3968b905f84c3eea3056f89c2a8 (patch) | |
| tree | 3e29576939936239546ae6f54711621846e199c9 /contrib/devtools | |
| parent | 0fd3632868e20a5444b2ab48e9cfcc09a0f8d69e (diff) | |
gitian: Improve error handling
Github-Pull: #15549
Rebased-From: 32da92bdf6bb55d6d312b0f85797d439cc942db5
Tree-SHA512: c79455ed3aa0e529821ed30c5d36244dcc9fbf9154b63dfcce4789143d8a737f83ea2aaea8993748babc4cec45ae0e88449d2a6ddc90dcf62a39cf8d6a2ace2e
Diffstat (limited to 'contrib/devtools')
| -rw-r--r-- | contrib/devtools/split-debug.sh.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/split-debug.sh.in b/contrib/devtools/split-debug.sh.in index deda49cc54..92b72b1446 100644 --- a/contrib/devtools/split-debug.sh.in +++ b/contrib/devtools/split-debug.sh.in @@ -1,5 +1,5 @@ #!/bin/sh - +set -e if [ $# -ne 3 ]; then echo "usage: $0 <input> <stripped-binary> <debug-binary>" fi |