diff options
-rwxr-xr-x | ship/build | 16 |
1 files changed, 14 insertions, 2 deletions
@@ -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 ### |