diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/GNUmakefile b/GNUmakefile index 92f989c2b..c5678b43d 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -4,7 +4,7 @@ # It is necessary if you want to build targets usually of interest # only to the maintainer. -# Copyright (C) 2001, 2003, 2006 Free Software Foundation, Inc. +# Copyright (C) 2001, 2003, 2006-2007 Free Software Foundation, Inc. # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -47,8 +47,8 @@ ifeq (0,$(MAKELEVEL)) ifneq (,$(_is-dist-target)) _curr-ver := $(shell build-aux/git-version-gen 0 .version) ifneq ($(_curr-ver),$(VERSION)) - $(info INFO: rerunning autoconf for new version string $(_curr-ver)) - $(shell touch configure.ac) + $(info INFO: rerunning autoconf for new version string: $(_curr-ver)) + dummy := $(shell rm -rf autom4te.cache; $(AUTOCONF)) endif endif endif |