changeset 10607:e8a140ab4e53

GNUmakefile: use the more name-space-friendly "_version" * top/GNUmakefile (_dummy): Update. (_version): Rename from "version".
author Jim Meyering <meyering@redhat.com>
date Thu, 09 Oct 2008 10:35:37 +0200
parents 442a5ff4bcc1
children 9559d8f05cdb
files ChangeLog top/GNUmakefile
diffstat 2 files changed, 10 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/ChangeLog
+++ b/ChangeLog
@@ -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>
 
--- a/top/GNUmakefile
+++ b/top/GNUmakefile
@@ -72,18 +72,18 @@
           # 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