diff lib-src/makefile.w32-in @ 110653:face715f995c

lib-src/makefile.w32-in (../src/config.h): Remove target, it is stale.
author Juanma Barranquero <lekktu@gmail.com>
date Wed, 29 Sep 2010 17:07:34 +0200
parents 3cfd17e4be81
children 7e4b4d33d1b2
line wrap: on
line diff
--- a/lib-src/makefile.w32-in	Wed Sep 29 16:30:45 2010 +0200
+++ b/lib-src/makefile.w32-in	Wed Sep 29 17:07:34 2010 +0200
@@ -371,6 +371,7 @@
 # Headers we would preprocess if we could.
 #
 ../src/config.h:	../nt/$(CONFIG_H)
+			$(DEL) $@
 			echo $(CONFIG_H) has changed.  Re-run configure.bat.
 			exit -1