#!/bin/sh
+PREVDIR=$(pwd)
+SCRIPT=$(readlink -f $0)
+SCRIPTPATH=`dirname $SCRIPT`
+
if [ $# -gt 0 ]; then
FILE="$1"
shift
exit 1
fi
+cd $SCRIPTPATH
+
if [ -e "$(which git)" ]; then
# clean 'dirty' status of touched files that haven't been modified
git diff >/dev/null 2>/dev/null
echo "$NEWINFO" >"$FILE"
echo "#define BUILD_DATE \"$TIME\"" >>"$FILE"
fi
+
+cd $PREVDIR