summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xship/build6
1 files changed, 3 insertions, 3 deletions
diff --git a/ship/build b/ship/build
index 2051a7db..f7dcf3c2 100755
--- a/ship/build
+++ b/ship/build
@@ -44,13 +44,13 @@ EOF
build_strict_mode() { cat<<EOF
$1a\\
set -euf\\
-set -o posix || true
+set -o posix || :
EOF
}
## usage: #@info -> build_info \1
-build_info() {
- gitinfo=$(git describe --always --dirty --abbrev=0 2>/dev/null || true)
+build_info() {
+ gitinfo=$(git describe --always --dirty --abbrev=0 2>/dev/null || :)
cat<<EOF
$1a\\
# this file was generated by //ship/build\\