7 usage() { echo 'Usage: update-checkout-info DEST'; }
9 if test "$#" -ne 1; then
15 if ! test -f lib/bup/bupsplit.c; then
16 echo 'error: cannot find bup source tree' 1>&2
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.
28 local_changes=$(git status --porcelain -uno)
30 (git log -1 --pretty="commit='%H'%ndate='%ci'"
32 if test "$local_changes"; then echo True; else echo False; fi) \
33 | dev/refresh -v -- "$dest"