diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-16 11:24:59 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-16 11:24:59 +0100 |
| commit | 5ab5ad03b5a3b48619987033bf3bedb333bfa9b1 (patch) | |
| tree | f6883ad20f06211e399b31f316efc50c9889f595 /reproduce/analysis/make/download.mk | |
| parent | c88950e788e17f8213330624b0d44c83344c2f1e (diff) | |
Git checksum printed even when on a tag
Until now, when the commit was tagged, `git describe' would just print the
tag and no longer the commit checksum. This is bad because the checksum is
a much more robust way to confirm the point in history.
With this commit the `--long' option has been added to `git describe' to
fix this issue. From now on, when we are on a tag, it will print the tag
followed by a `-0-' and the first characters of the checksum.
Diffstat (limited to 'reproduce/analysis/make/download.mk')
0 files changed, 0 insertions, 0 deletions