coverage.sh: Be robust towards absence of Git tags

.. e.g. when someone forks the Git repository
in a way that only copies the master branch but
no tags.
This commit is contained in:
Sebastian Pipping 2023-03-07 02:17:21 +01:00
parent fd41d749b1
commit f103a4fd00

View file

@ -262,7 +262,7 @@ _show_summary() {
_main() {
version="$(git describe --tags)"
version="$(git describe --tags 2>/dev/null || echo HEAD)"
coverage_info=coverage.info
local build_dirs=()