summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xship/build3
1 files changed, 1 insertions, 2 deletions
diff --git a/ship/build b/ship/build
index 3f96cfe1..730f72ee 100755
--- a/ship/build
+++ b/ship/build
@@ -43,8 +43,7 @@ EOF
## usage: #@strict -> build_strict_mode \1
build_strict_mode() { cat<<EOF
$1a\\
-set -euf\\
-set -o posix || :
+set -euf
EOF
}