# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1126477708 0
# Node ID 91dbefb72927891b8b5209f51316e3457849ded2
# Parent  eb0fd19f4e016ce3cdcef2c75bfc16003b708b34
(../src/config.h): Don't overwrite. Print a message instead.
(../src/paths.h): Removed.

diff -r eb0fd19f4e01 -r 91dbefb72927 lib-src/makefile.w32-in
--- a/lib-src/makefile.w32-in	Sun Sep 11 22:02:04 2005 +0000
+++ b/lib-src/makefile.w32-in	Sun Sep 11 22:28:28 2005 +0000
@@ -300,9 +300,9 @@
 # Headers we would preprocess if we could.
 #
 ../src/config.h:	../nt/$(CONFIG_H)
-			$(CP) $(ALL_DEPS) $@
-../src/paths.h:		../nt/paths.h
-			$(CP) $(ALL_DEPS) $@
+			echo config.h has changed. Re-run configure.bat.
+			exit -1
+
 getopt.h:		getopt_.h
 			$(CP) $(ALL_DEPS) $@