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