diff options
author | Jim Meyering <meyering@redhat.com> | 2008-10-09 10:35:37 +0200 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2008-10-09 14:29:30 +0200 |
commit | ff3d0c911116c570b7ea28a9be38fca5edd4dc9c (patch) | |
tree | 9713e10389a423a8ab82d2b1013855fd2cce517e | |
parent | 1e60b920564d9b30c65c53553a4293b1c76863d8 (diff) | |
download | gnulib-ff3d0c911116c570b7ea28a9be38fca5edd4dc9c.tar.gz |
GNUmakefile: use the more name-space-friendly "_version"
* top/GNUmakefile (_dummy): Update.
(_version): Rename from "version".
-rw-r--r-- | ChangeLog | 6 | ||||
-rw-r--r-- | top/GNUmakefile | 8 |
2 files changed, 10 insertions, 4 deletions
@@ -1,3 +1,9 @@ +2008-10-09 Jim Meyering <meyering@redhat.com> + + GNUmakefile: use the more name-space-friendly "_version" + * top/GNUmakefile (_dummy): Update. + (_version): Rename from "version". + 2008-10-09 Paolo Bonzini <bonzini@gnu.org> Bruno Haible <bruno@clisp.org> diff --git a/top/GNUmakefile b/top/GNUmakefile index 7816416eec..0fdd3fa735 100644 --- a/top/GNUmakefile +++ b/top/GNUmakefile @@ -72,18 +72,18 @@ ifeq ($(_have-git-version-gen)0,yes$(MAKELEVEL)) # 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;) - $(info run '$(MAKE) version' to fix it) + $(info run '$(MAKE) _version' to fix it) else $(info INFO: running autoreconf for new version string: $(_curr-ver)) - _dummy := $(shell $(MAKE) $(AM_MAKEFLAGS) version) + _dummy := $(shell $(MAKE) $(AM_MAKEFLAGS) _version) endif endif endif endif endif -.PHONY: version -version: +.PHONY: _version +_version: cd $(srcdir) && rm -rf autom4te.cache .version && $(_autoreconf) else |