diff lib-src/makefile.w32-in @ 65447:91dbefb72927

(../src/config.h): Don't overwrite. Print a message instead. (../src/paths.h): Removed.
author Jason Rumney <jasonr@gnu.org>
date Sun, 11 Sep 2005 22:28:28 +0000
parents 6358e3c6075c
children 3de387bf632e fa0da9b57058
line wrap: on
line diff
--- 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) $@