Skip to content
Snippets Groups Projects
Commit 6633ddde authored by Raymond Toy's avatar Raymond Toy
Browse files

Check the git hash for a release tag too.

parent b55fd57b
No related branches found
No related tags found
No related merge requests found
...@@ -14,11 +14,14 @@ NO_PCL_FEATURE= ...@@ -14,11 +14,14 @@ NO_PCL_FEATURE=
# Default version is the date with the git hash. # Default version is the date with the git hash.
GIT_HASH="`(cd src; git describe --dirty 2>/dev/null)`" GIT_HASH="`(cd src; git describe --dirty 2>/dev/null)`"
# If the git hash looks like a snapshot tag, don't add the date. # If the git hash looks like a snapshot tag or release, don't add the date.
VERSION="`date '+%Y-%m-%d %H:%M:%S'`${GIT_HASH:+ $GIT_HASH}"
if expr "X${GIT_HASH}" : '^Xsnapshot-[0-9][0-9][0-9][0-9]-[01][0-9]' > /dev/null; then if expr "X${GIT_HASH}" : '^Xsnapshot-[0-9][0-9][0-9][0-9]-[01][0-9]' > /dev/null; then
VERSION="${GIT_HASH}" VERSION="${GIT_HASH}"
else fi
VERSION="`date '+%Y-%m-%d %H:%M:%S'`${GIT_HASH:+ $GIT_HASH}"
if expr "X${GIT_HASH}" : '^X[0-9][0-9][a-f]' > /dev/null; then
VERSION="${GIT_HASH}"
fi fi
echo $VERSION echo $VERSION
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment