summaryrefslogtreecommitdiffstats
path: root/ship/build
diff options
context:
space:
mode:
authortv <tv@nomic.retiolum>2014-02-04 23:38:21 +0100
committertv <tv@nomic.retiolum>2014-02-04 23:38:21 +0100
commitc34e9d3f15a12fb52cfa691c6cb8fd9062a36580 (patch)
treeea36f81f5be03b1d9d0e16d401d2d5e758638fd7 /ship/build
parent166650f12b805ca45e7ad5c64b852bc4afb71f68 (diff)
ship build: refix harder
Diffstat (limited to 'ship/build')
-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
}