Changeset 642 for trunk/config.w32

Timestamp:

2009-07-06T11:42:00+02:00 (4 years ago)

Author:

moo

Message:

make indent optional in Makefile so when it coredump in somecase won't harm building

File:

• trunk/config.w32 (modified) (1 diff)

trunk/config.w32

@@ -116 +116 @@
     frag = frag.replace(/.*\$\(CC\).* -E (.*) -o (.*)/, ccrule + " /E $1 > $2");
     frag = frag.replace(/ -o /g, " /Fo");
-    frag = frag.replace(/mv -f /g, "move ");
+    frag = frag.replace(/cp /g, "copy ");
+    frag = frag.replace(/mv /g, "move ");
     frag = frag.replace(/ \|\| /g, "\r\n\tif errorlevel 1 ");
     frag = frag.replace(/ && /g, "\r\n\tif not errorlevel 1 ");