diff options
author | Lev Walkin <vlm@lionet.info> | 2014-09-16 23:40:26 -0700 |
---|---|---|
committer | Lev Walkin <vlm@lionet.info> | 2014-09-16 23:40:26 -0700 |
commit | 64ea496c41d274c7e4b22731c679b8a5f841c3e5 (patch) | |
tree | 448c8bc6cd60211865039691a8d8f29f3483f3d3 /asn1c | |
parent | 05b32b8e337cd1d49b32195aa747319b95db1a5d (diff) |
too non-standard option removed (set -o pipefail)
Diffstat (limited to 'asn1c')
-rwxr-xr-x | asn1c/check-parsing.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/asn1c/check-parsing.sh b/asn1c/check-parsing.sh index 7d81172b..730c1fe1 100755 --- a/asn1c/check-parsing.sh +++ b/asn1c/check-parsing.sh @@ -6,7 +6,6 @@ diff -u . . 2>/dev/null && diffArgs="$diffArgs -u" # Unified diff output ec=0 -set -o pipefail set -e PROCESSING="" |