summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@nomic.retiolum>2014-02-04 23:35:53 +0100
committertv <tv@nomic.retiolum>2014-02-04 23:35:53 +0100
commit166650f12b805ca45e7ad5c64b852bc4afb71f68 (patch)
treeeb1e44d2187a990bb15e501b5e611cf1061d5eff
parentb076296d3dc04c21a710c676996fb2711101dc2e (diff)
ship build: refix broken 'strict'
-rwxr-xr-xship/build3
1 files changed, 2 insertions, 1 deletions
diff --git a/ship/build b/ship/build
index 730f72ee..bcb1f504 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
}