diff options
author | Jim Meyering <meyering@redhat.com> | 2007-11-11 21:14:20 +0100 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2007-11-13 00:10:48 +0100 |
commit | b69f240e06b92951d389f8dd291914d61f0b29e4 (patch) | |
tree | bac23bf4aa4b04538f949c5524010157b1648fc4 /GNUmakefile | |
parent | 576a8cbe1364da5fdad83562314b9f97f70b5cb8 (diff) | |
download | autoconf-b69f240e06b92951d389f8dd291914d61f0b29e4.tar.gz |
Remove the autoreconf-provided INSTALL, so that we regenerate it.
* GNUmakefile (dummy): Remove INSTALL.
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index cec6444a..8929a243 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -47,13 +47,14 @@ include Makefile # for others: rerunning autoconf and recompiling everything isn't cheap. # The $(MAKE) clean is required, to remove all traces of the previous # version string, which would otherwise cause a few test failures. +# Remove the autoreconf-provided INSTALL, so that we regenerate it. ifeq (0,$(MAKELEVEL)) _is-dist-target = $(filter dist% alpha beta major,$(MAKECMDGOALS)) 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) + dummy := $(shell rm -rf autom4te.cache; autoreconf -i && $(MAKE) clean && rm -f INSTALL) endif endif endif |