2017-06-27 12:08:41 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
# run git from the sources directory
|
|
|
|
cd "$(dirname "$0")"
|
|
|
|
|
|
|
|
# don't print anything if git fails
|
2017-07-06 20:25:28 +01:00
|
|
|
if ! git_sha1=$(git --git-dir=../.git rev-parse --short=10 HEAD 2>/dev/null)
|
2017-06-27 12:08:41 +01:00
|
|
|
then
|
|
|
|
exit
|
|
|
|
fi
|
|
|
|
|
|
|
|
printf '#define MESA_GIT_SHA1 "git-%s"\n' "$git_sha1"
|