aboutsummaryrefslogtreecommitdiff
path: root/reproduce/analysis/make/download.mk
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-09-16 11:24:59 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-09-16 11:24:59 +0100
commit5ab5ad03b5a3b48619987033bf3bedb333bfa9b1 (patch)
treef6883ad20f06211e399b31f316efc50c9889f595 /reproduce/analysis/make/download.mk
parentc88950e788e17f8213330624b0d44c83344c2f1e (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