@ -15,7 +15,6 @@ fi
DESC = ""
DESC = ""
SUFFIX = ""
SUFFIX = ""
LAST_COMMIT_DATE = ""
if [ -e " $( which git 2>/dev/null) " -a " $( git rev-parse --is-inside-work-tree 2>/dev/null) " = "true" ] ; then
if [ -e " $( which git 2>/dev/null) " -a " $( git rev-parse --is-inside-work-tree 2>/dev/null) " = "true" ] ; then
# clean 'dirty' status of touched files that haven't been modified
# clean 'dirty' status of touched files that haven't been modified
git diff >/dev/null 2>/dev/null
git diff >/dev/null 2>/dev/null
@ -29,9 +28,6 @@ if [ -e "$(which git 2>/dev/null)" -a "$(git rev-parse --is-inside-work-tree 2>/
# otherwise generate suffix from git, i.e. string like "59887e8-dirty"
# otherwise generate suffix from git, i.e. string like "59887e8-dirty"
SUFFIX = $( git rev-parse --short HEAD)
SUFFIX = $( git rev-parse --short HEAD)
git diff-index --quiet HEAD -- || SUFFIX = " $SUFFIX -dirty "
git diff-index --quiet HEAD -- || SUFFIX = " $SUFFIX -dirty "
# get a string like "2012-04-10 16:27:19 +0200"
LAST_COMMIT_DATE = " $( git log -n 1 --format= "%ci" ) "
fi
fi
if [ -n " $DESC " ] ; then
if [ -n " $DESC " ] ; then
@ -45,7 +41,4 @@ fi
# only update build.h if necessary
# only update build.h if necessary
if [ " $INFO " != " $NEWINFO " ] ; then
if [ " $INFO " != " $NEWINFO " ] ; then
echo " $NEWINFO " >" $FILE "
echo " $NEWINFO " >" $FILE "
if [ -n " $LAST_COMMIT_DATE " ] ; then
echo " #define BUILD_DATE \" $LAST_COMMIT_DATE \" " >> " $FILE "
fi
fi
fi