diff options
Diffstat (limited to 'ship/build')
| -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 || : +EOF +} +  ## usage: #@info -> build_info \1 -build_info() { cat<<EOF +build_info() { +    gitinfo=$(git describe --always --dirty --abbrev=0 2>/dev/null || :) +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  ### | 
