Store full git GID in VERSION.
This commit is contained in:
parent
a094babe33
commit
79d660d35d
@ -637,7 +637,7 @@ dnl
|
|||||||
|
|
||||||
dnl Set VERSION if source directory has an embedded git repository.
|
dnl Set VERSION if source directory has an embedded git repository.
|
||||||
if test -d "${srcroot}../.git" ; then
|
if test -d "${srcroot}../.git" ; then
|
||||||
git describe --long > ${srcroot}VERSION
|
git describe --long --abbrev=40 > ${srcroot}VERSION
|
||||||
fi
|
fi
|
||||||
jemalloc_version=`cat ${srcroot}VERSION`
|
jemalloc_version=`cat ${srcroot}VERSION`
|
||||||
jemalloc_version_major=`echo ${jemalloc_version} | tr ".g-" " " | awk '{print [$]1}'`
|
jemalloc_version_major=`echo ${jemalloc_version} | tr ".g-" " " | awk '{print [$]1}'`
|
||||||
|
Loading…
Reference in New Issue
Block a user