3 # Create a 10-character ID for this build. If we're using a git tree,
4 # generate an ID of the form g[-*]XXXXXXXX (* = modified); otherwise use
5 # the passed-in timestamp.
8 if test -n "$GIT_DIR" -o -d ..
/.git
-o -f ..
/.git
; then
9 ver
="$(git rev-parse HEAD | cut -c1-8)"
10 if test -n "$ver"; then
11 if test -n "$(git diff-index --name-only HEAD)"; then
18 if test -z "$ver"; then