changeset 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 eb0fd19f4e01
children 4162da5bb214
files lib-src/makefile.w32-in
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
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) $@