|
|
@ -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 |
|
|
|