# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1160423863 0
# Node ID 5e2029cd6a15e45cc5327a921292f3d0eb8b2113
# Parent  281c5fbc3ec9ee3443ef734cc64fa9adab223978
(../src/config.h): Fix error message.

diff -r 281c5fbc3ec9 -r 5e2029cd6a15 lib-src/makefile.w32-in
--- a/lib-src/makefile.w32-in	Mon Oct 09 16:21:58 2006 +0000
+++ b/lib-src/makefile.w32-in	Mon Oct 09 19:57:43 2006 +0000
@@ -318,7 +318,7 @@
 # Headers we would preprocess if we could.
 #
 ../src/config.h:	../nt/$(CONFIG_H)
-			echo config.h has changed. Re-run configure.bat.
+			echo $(CONFIG_H) has changed.  Re-run configure.bat.
 			exit -1
 
 getopt.h:		getopt_.h