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-07 17:21:46 +0100 |
| commit | 32da92bdf6bb55d6d312b0f85797d439cc942db5 (patch) | |
| tree | 05d0236474b11314826d0728b8bd871c01aac29e /contrib/devtools | |
| parent | 3800ca606896eb2d7b20816f3040f61ef0c8356f (diff) | |
gitian: Improve error handling
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 |