tools: remove angle brackets from get_revision_number output if .git is absent

This commit is contained in:
Michael Banck 2021-12-30 16:34:17 +01:00 committed by Ole Schütt
parent f7cb039ec2
commit e2bbac8672

View file

@ -15,7 +15,7 @@ GIT_DIR="$1/../.git"
GIT_HEAD="${GIT_DIR}/HEAD"
if [ ! -s "${GIT_HEAD}" ] ; then
echo "<unknown revision>"
echo "unknown revision"
>&2 echo "WARNING: $0 failed to determine the Git commit and no REVISION file available"
exit 1
fi