2018-12-31 20:04:05 +01:00
|
|
|
#!/bin/sh
|
2021-12-08 17:43:21 +01:00
|
|
|
cd $(dirname $0)
|
2018-12-31 20:04:05 +01:00
|
|
|
commit=$(git rev-parse HEAD)
|
|
|
|
|
git diff-index --quiet HEAD
|
|
|
|
|
dirty=$?
|
|
|
|
|
printf "#pragma once\n#define GIT_COMMIT \"$commit\"\n#define GIT_DIRTY $dirty\n" > auto/git_info.h.new
|
|
|
|
|
if cmp -s auto/git_info.h.new auto/git_info.h 2>&1 > /dev/null
|
|
|
|
|
then
|
|
|
|
|
rm -f auto/git_info.h.new
|
|
|
|
|
else
|
|
|
|
|
mv -f auto/git_info.h.new auto/git_info.h
|
|
|
|
|
fi
|
