Set VERSION also when the source directory is a git submodule using a ".git" file pointing to the repo. directory.
This commit is contained in:
parent
1522937e9c
commit
011dde96c5
@ -1029,8 +1029,8 @@ dnl ============================================================================
|
|||||||
dnl jemalloc configuration.
|
dnl jemalloc configuration.
|
||||||
dnl
|
dnl
|
||||||
|
|
||||||
dnl Set VERSION if source directory has an embedded git repository.
|
dnl Set VERSION if source directory has an embedded git repository or is a git submodule.
|
||||||
if test -d "${srcroot}.git" ; then
|
if test -e "${srcroot}.git" ; then
|
||||||
git describe --long --abbrev=40 > ${srcroot}VERSION
|
git describe --long --abbrev=40 > ${srcroot}VERSION
|
||||||
fi
|
fi
|
||||||
jemalloc_version=`cat ${srcroot}VERSION`
|
jemalloc_version=`cat ${srcroot}VERSION`
|
||||||
|
Loading…
Reference in New Issue
Block a user