summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xship/build16
1 files changed, 14 insertions, 2 deletions
diff --git a/ship/build b/ship/build
index 5863e325..2051a7db 100755
--- a/ship/build
+++ b/ship/build
@@ -40,12 +40,22 @@ EOF
fi
}
+## usage: #@strict -> build_strict_mode \1
+build_strict_mode() { cat<<EOF
+$1a\\
+set -euf\\
+set -o posix || true
+EOF
+}
+
## usage: #@info -> build_info \1
-build_info() { cat<<EOF
+build_info() {
+ gitinfo=$(git describe --always --dirty --abbrev=0 2>/dev/null || true)
+cat<<EOF
$1a\\
# this file was generated by //ship/build\\
# build date: $(date -u --rfc-3339=s)\\
-# git describe: $(git describe --always --dirty --abbrev=0)
+# git describe: ${gitinfo:-not under version control}
EOF
}
@@ -177,6 +187,8 @@ buildcache_add() {
echo "$1" >> "$buildcache"
}
+
+
###
### main invocation
###