summaryrefslogtreecommitdiffstats
path: root/ship/build
diff options
context:
space:
mode:
authormakefu <root@pigstarter.de>2014-01-22 16:00:49 +0100
committermakefu <root@pigstarter.de>2014-01-22 16:00:49 +0100
commit94d08d0c36a954dfec45fba80eae71bb198ccf80 (patch)
tree3ebaaa26f95ae8d02706a2f80ee671fcf1a7bef8 /ship/build
parent2b4a7b09a5ea90cde39747f503ddc3cf030eb2aa (diff)
fix broken 'strict' in ship/build
Diffstat (limited to 'ship/build')
-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
}