Skip to content

Commit

Permalink
tools: remove angle brackets from get_revision_number output if .git …
Browse files Browse the repository at this point in the history
…is absent
  • Loading branch information
mbanck authored and oschuett committed Dec 30, 2021
1 parent f7cb039 commit e2bbac8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/build_utils/get_revision_number
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit e2bbac8

Please sign in to comment.