.

diff --git a/ChangeLog b/ChangeLog
index b9d74e7ea4a37d32a648aeef01175185ddca7e52..79b43b411e4211fb08b74de54ae00d8babce4933 100644 (file)
--- 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.