diff options
author | Eric Blake <ebb9@byu.net> | 2008-07-21 21:45:30 -0600 |
---|---|---|
committer | Eric Blake <ebb9@byu.net> | 2008-07-21 21:45:30 -0600 |
commit | 662cd06405c078f7b9a2ab1cbab9f36131269979 (patch) | |
tree | 47989bf3809301fa6afbcde655d60f02b52bc677 /top/GNUmakefile | |
parent | 48e27cbb6cc9e12006de6edfcafa69aafedadc85 (diff) | |
download | gnulib-662cd06405c078f7b9a2ab1cbab9f36131269979.tar.gz |
Warn, not fail, on stale version.
* top/GNUmakefile (_curr-ver): Tone down previous patch.
Signed-off-by: Eric Blake <ebb9@byu.net>
Diffstat (limited to 'top/GNUmakefile')
-rw-r--r-- | top/GNUmakefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/top/GNUmakefile b/top/GNUmakefile index 0f1bba9324..ea5e72c44e 100644 --- a/top/GNUmakefile +++ b/top/GNUmakefile @@ -67,10 +67,10 @@ ifeq ($(_have-git-version-gen)0,yes$(MAKELEVEL)) # recompilation after 'make all'. But as long as changing the version # string alters config.h, the cost of having 'make all' always have an # up-to-date version is prohibitive. So, as a compromise, we merely - # refuse to install if the version string is out of date; the user - # must run 'autoreconf' (or something like 'make distcheck') to + # warn when installing a version string that is out of date; the user + # should run 'autoreconf' (or something like 'make distcheck') to # fix the version, 'make all' to propagate it, then 'make install'. - $(error version string $(VERSION) is out of date; run autoreconf before installing) + $(info WARNING: version string $(VERSION) is out of date; run autoreconf -f to fix it) else $(info INFO: running autoreconf for new version string: $(_curr-ver)) _dummy := $(shell cd $(srcdir) && rm -rf autom4te.cache .version \ |