From: Karl Berry <karl@freefriends.org>
Date: Wed, 1 Jan 2003 14:58:58 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=016c56b5b94e502fb85b311960a358984ae23d41;p=pspp

.
---

diff --git a/ChangeLog b/ChangeLog
index b9d74e7ea4..79b43b411e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2003-01-01    <karl@gnu.org>
 
+	* gnulib-tool (func_verify_module): report module name $module in
+	error message, not $1.
 	* gnulib-tool (create-testdir): don't complain if destdir couldn't
 	be created, only if it doesn't exist.
 	* gnulib-tool (last_checkin_date): don't expand the $Date here.