diff options
| author | Palmer Dabbelt <palmer@sifive.com> | 2019-08-17 19:41:09 +0530 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2019-08-19 10:58:21 +0530 |
| commit | a2a7763ac7651e64c3928ba0a13be9317bd48c4d (patch) | |
| tree | 81c722621d23220ab136cc56b56258178f0f9975 /docs | |
| parent | 75229705a0bf804099fbf32b61d7f6ba459226ec (diff) | |
Include `git describe` in OpenSBI
OpenSBI includes a version, but that is only updated when tagged. For
users that are using the git releases we instead end up with an
ambiguous version number, which makes it hard to figure out what
everyone is using. This patch checks for a git directory and prints out
the result of `git describe`, which is a mix of pretty and unambiguous.
Signed-off-by: Palmer Dabbelt <palmer@sifive.com>
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Bin Meng <bmeng.cn@gmail.com>
Tested-by: Bin Meng <bmeng.cn@gmail.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions