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