diff options
| -rw-r--r-- | Makefile.in | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Makefile.in b/Makefile.in index 7bcd1e157..a61189dde 100644 --- a/Makefile.in +++ b/Makefile.in @@ -146,12 +146,13 @@ include $(srcdir)/src/grt/Makefile.inc version.tmp: $(srcdir)/src/version.in force # Create version.tmp from version.in, using git date/hash - if ! test -d $(srcdir)/.git \ - || ! desc=`cd $(srcdir); git describe --dirty`; then \ - desc="tarball"; \ + if test -d $(srcdir)/.git \ + && desc=`cd $(srcdir); git describe --dirty`; then \ + sub="s/[(].*[)]/($$desc)/"; \ + else \ + sub="s/tarball/tarball/"; \ fi; \ - $(SED) -e "s/[(].*[)]/($$desc)/" \ - -e "s/@VER@/$(ghdl_version)/" < $< > $@; \ + $(SED) -e "$$sub" -e "s/@VER@/$(ghdl_version)/" < $< > $@; \ version.ads: version.tmp # Change version.ads only if version.tmp has been modified to avoid |