diff options
author | Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:04:48 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:04:48 -0400 |
commit | e966c5ac810c7214b3f25c9f8ff7b965c0174f51 (patch) | |
tree | c05daafea9845ad1ff46c61dc3a444b5fd7e21ad /extract-function-header.sh | |
parent | 6d375335db79c5a50a929e03f3a0be2578f6cf49 (diff) |
sh portability fixes in "make c"
Diffstat (limited to 'extract-function-header.sh')
-rwxr-xr-x | extract-function-header.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extract-function-header.sh b/extract-function-header.sh index e0db91ac9..a93fb52f8 100755 --- a/extract-function-header.sh +++ b/extract-function-header.sh @@ -1,4 +1,7 @@ #!/bin/sh +set -e || true +set -u || true +set -o pipefail || true case "$#" in 0) |