diff options
| author | Felix Obenhuber <flxo@users.noreply.github.com> | 2023-03-22 09:02:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-22 09:02:16 +0100 |
| commit | 26f4321a5e9eb56b905ca9eee9cf52422c7ff859 (patch) | |
| tree | fcf5657962f86bf4a6e0b9e64814e74cd655c51f /tools | |
| parent | 9fc432a41d9970dfff360fec225a926b5ab8f2ab (diff) | |
Fix build if not on a git checkout (#119)
Check the exit status of the `git` invocation before parsing the output.
If there's no `.git` the output may look like:
```
fatal: not a git repository (or any of the parent directories): .git
```
and the version shall be set to unknown.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions