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