dev/update-checkout-info

   1 #!/usr/bin/env bash
   2
   3 set -euo pipefail
   4
   5 top="$(pwd -P)"
   6
   7 usage() { echo 'Usage: update-checkout-info DEST'; }
   8
   9 if test "$#" -ne 1; then
  10     usage 1>&2; exit 1
  11 fi
  12
  13 dest="$1"
  14
  15 if ! test -f lib/bup/bupsplit.c; then
  16     echo 'error: cannot find bup source tree' 1>&2
  17     exit 1
  18 fi
  19
  20 git_top=$(git rev-parse --show-toplevel) || true
  21 if test "$git_top" != "$top"; then
  22     # Not a checkout, or perhaps we're building from an archive dir
  23     # unpacked somewhere in the source tree.
  24     rm -f "$dest"
  25     exit 0
  26 fi
  27
  28 local_changes=$(git status --porcelain -uno)
  29
  30 (git log -1 --pretty="commit='%H'%ndate='%ci'"
  31  echo -n 'modified='
  32  if test "$local_changes"; then echo True; else echo False; fi) \
  33     | dev/refresh -v -- "$dest"