summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xship/build2
1 files changed, 1 insertions, 1 deletions
diff --git a/ship/build b/ship/build
index bcb1f504..0e8e1013 100755
--- a/ship/build
+++ b/ship/build
@@ -44,7 +44,7 @@ EOF
build_strict_mode() { cat<<EOF
$1a\\
set -euf\\
-(set -o posix 2>/dev/null) && set -o posix
+(set -o posix 2>/dev/null) && set -o posix || :
EOF
}