diff options
| author | Eric Blake <ebb9@byu.net> | 2008-10-08 08:46:29 -0600 |
|---|---|---|
| committer | Eric Blake <ebb9@byu.net> | 2008-10-08 08:46:29 -0600 |
| commit | d8de5f64e94ea23b5f611ffc116f8fb5c7738dbe (patch) | |
| tree | 6ff330deb4753aefc0f33ad764249ba4fa9204bd /top/GNUmakefile | |
| parent | ea0f5bf6444c14f97c069b5da723781ecb8a84aa (diff) | |
| download | gnulib-d8de5f64e94ea23b5f611ffc116f8fb5c7738dbe.tar.gz | |
GNUmakefile: add 'make version' target
* top/GNUmakefile (_curr-ver): Split version update rules...
(version): ...into a target.
Signed-off-by: Eric Blake <ebb9@byu.net>
Diffstat (limited to 'top/GNUmakefile')
| -rw-r--r-- | top/GNUmakefile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/top/GNUmakefile b/top/GNUmakefile index 4b4cf15cf7..7816416eec 100644 --- a/top/GNUmakefile +++ b/top/GNUmakefile @@ -71,17 +71,21 @@ ifeq ($(_have-git-version-gen)0,yes$(MAKELEVEL)) # 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'. - $(info WARNING: version string $(VERSION) is out of date; run autoreconf -f to fix it) + $(info WARNING: version string $(VERSION) is out of date;) + $(info run '$(MAKE) version' to fix it) else $(info INFO: running autoreconf for new version string: $(_curr-ver)) - _dummy := $(shell cd $(srcdir) && rm -rf autom4te.cache .version \ - && $(_autoreconf)) + _dummy := $(shell $(MAKE) $(AM_MAKEFLAGS) version) endif endif endif endif endif +.PHONY: version +version: + cd $(srcdir) && rm -rf autom4te.cache .version && $(_autoreconf) + else .DEFAULT_GOAL := abort-due-to-no-makefile |