diff options
author | Jakob Unterwurzacher | 2020-04-18 17:44:51 +0200 |
---|---|---|
committer | Jakob Unterwurzacher | 2020-04-18 17:44:51 +0200 |
commit | 1c169ac55e79acb098c858a0448b9f30a4620a98 (patch) | |
tree | c1e9f86e46e81ed8ab028ddbd6dcb9c9ccb5a5c3 /profiling | |
parent | 5da5e9fdf2db0f3c709a6662604d768865462068 (diff) |
build.bash: handle missing git tags
The case of a git repo without any tags used to fail
with:
fatal: No names found, cannot describe anything.
Now we continue, using "[no_tags_found]" as the
version string.
Diffstat (limited to 'profiling')
0 files changed, 0 insertions, 0 deletions