diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 8929a243..645d63c1 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -53,8 +53,8 @@ ifeq (0,$(MAKELEVEL)) ifneq (,$(_is-dist-target)) _curr-ver := $(shell build-aux/git-version-gen $(srcdir) .version) ifneq ($(_curr-ver),$(VERSION)) - $(info INFO: running autoreconf for new version string: $(_curr-ver)) - dummy := $(shell rm -rf autom4te.cache; autoreconf -i && $(MAKE) clean && rm -f INSTALL) + $(info INFO: running autoreconf for new version string; old: $(_curr-ver)) + dummy := $(shell rm -rf autom4te.cache; autoreconf -i -v && $(MAKE) clean && rm -f INSTALL) endif endif endif |