diff options
| -rw-r--r-- | GNUmakefile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/GNUmakefile b/GNUmakefile index 95758f5e5..719cfadb1 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -53,19 +53,10 @@ ifeq (0,$(MAKELEVEL)) ifneq ($(_curr-ver),$(VERSION)) $(info INFO: running autoreconf for new version string: $(_curr-ver)) _dummy := $(shell rm -rf autom4te.cache; (cd $(srcdir) && autoreconf)) - _created_version_file = 1 endif endif endif -ifneq ($(_curr-ver),$(VERSION)) - _dummy := $(shell echo $(_curr-ver) > .version) -endif - -ifneq ($(_created_version_file),1) - _dummy := $(shell test -f .version || echo $(VERSION) > .version) -endif - include $(srcdir)/Makefile.cfg include $(srcdir)/Makefile.maint |