summaryrefslogtreecommitdiff
path: root/top/GNUmakefile
diff options
context:
space:
mode:
authorEric Blake <ebb9@byu.net>2008-07-21 21:45:30 -0600
committerEric Blake <ebb9@byu.net>2008-07-21 21:45:30 -0600
commit662cd06405c078f7b9a2ab1cbab9f36131269979 (patch)
tree47989bf3809301fa6afbcde655d60f02b52bc677 /top/GNUmakefile
parent48e27cbb6cc9e12006de6edfcafa69aafedadc85 (diff)
downloadgnulib-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/GNUmakefile6
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 \