diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-05-20 18:27:31 +0300 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-05-20 18:27:31 +0300 |
commit | 87528c59731339448fc967f2edc4657e638f8f10 (patch) | |
tree | eddebf16bac3858eeec82449ec550fdf4300326d | |
parent | 18786f54ac3ef5ca7a383a19f020c41b140bf7c1 (diff) | |
download | wmf-ci-arch-87528c59731339448fc967f2edc4657e638f8f10.tar.gz |
Change: mark dirty working tree in version
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -version = $(shell git describe --tags HEAD) +version = $(shell git describe --dirty --tags) .SUFFIXES: .html .mdwn .pdf .dot .svg |