#!/usr/bin/env bash
# Store info about in which git branch, what SHA1 and at what date/time
# we executed make.
dir=
dotgit=".git"
git=git
if [ $# = 1 ]; then
if [ -x /bin/cygpath ]; then
dir=`cygpath -u $1`
git=/usr/bin/git
else
dir=$1
fi
dotgit="$dir/.git"
fi
# if we don't see the .git directory, just return
if test ! -d $dotgit; then
exit 0;
fi
OUT=etc/gitinfo.txt
git --git-dir=$dotgit describe --all > $OUT
git --git-dir=$dotgit describe --always >> $OUT
date "+%b %d %Y, %H:%M:%S" >> $OUT
exit 0