Use the mingw touch program on Windows
authorIan Lynagh <igloo@earth.li>
Fri, 2 Dec 2011 14:48:16 +0000 (14:48 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 2 Dec 2011 14:49:43 +0000 (14:49 +0000)
gmp/ghc.mk

index 95b3fbe..78dfa8a 100644 (file)
@@ -152,7 +152,7 @@ libraries/integer-gmp/gmp/libgmp.a libraries/integer-gmp/gmp/gmp.h:
 #          CC=$(CC_STAGE1) $(SHELL) configure \
 #                --enable-shared=yes --disable-static \
 #                --host=$(HOSTPLATFORM) --build=$(BUILDPLATFORM)
-#      touch $@
+#      "$(TOUCH_CMD)" $@
 #
 #gmp.h: stamp.gmp.static
 #      $(CP) gmpbuild/gmp.h .