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 /top/GNUmakefile | |
| parent | 1e60b920564d9b30c65c53553a4293b1c76863d8 (diff) | |
| download | gnulib-ff3d0c911116c570b7ea28a9be38fca5edd4dc9c.tar.gz | |
GNUmakefile: use the more name-space-friendly "_version"
* top/GNUmakefile (_dummy): Update.
(_version): Rename from "version".
Diffstat (limited to 'top/GNUmakefile')
| -rw-r--r-- | top/GNUmakefile | 8 |
1 files changed, 4 insertions, 4 deletions
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 |