diff --git a/bin/load-world.sh b/bin/load-world.sh index 1ca37795724e641a59b9471247e78a696947fafe..8b8c2ebee5f0287f48095ed10c78e318878f8c89 100755 --- a/bin/load-world.sh +++ b/bin/load-world.sh @@ -16,11 +16,11 @@ GIT_HASH="`(cd src; git describe --dirty 2>/dev/null)`" # 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}" fi -if expr "X${GIT_HASH}" : '^X[0-9][0-9][a-f]' > /dev/null; then +if expr "X${GIT_HASH}" : 'X[0-9][0-9][a-f]' > /dev/null; then VERSION="${GIT_HASH}" fi echo $VERSION