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 | |
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')
-rw-r--r-- | reproduce/analysis/make/initialize.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/reproduce/analysis/make/initialize.mk b/reproduce/analysis/make/initialize.mk index 94008f2..1e4a126 100644 --- a/reproduce/analysis/make/initialize.mk +++ b/reproduce/analysis/make/initialize.mk @@ -181,7 +181,7 @@ $(lockdir): | $(BDIR); mkdir $@ # we want to ensure that the file is always built in every run: it contains # the project version which may change between two separate runs, even when # no file actually differs. -packagebasename := $(shell echo paper-$$(git describe --dirty --always)) +packagebasename := $(shell echo paper-$$(git describe --dirty --always --long)) packagecontents = $(texdir)/$(packagebasename) .PHONY: all clean dist dist-zip distclean clean-mmap $(packagecontents) \ $(mtexdir)/initialize.tex @@ -342,5 +342,5 @@ dist-zip: $(packagecontents) $(mtexdir)/initialize.tex: | $(mtexdir) # Version of the project. - @v=$$(git describe --dirty --always); + @v=$$(git describe --dirty --always --long); echo "\newcommand{\projectversion}{$$v}" > $@ |