Changeset 31 for trunk/config.w32

Timestamp:

05/26/2006 03:46:42 AM (3 years ago)

Author:

moo

Message:

fix last commit about

Files:

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

trunk/config.w32

@@ -92 +92 @@
     frag = frag.replace(/ -o /g, " /Fo");
     frag = frag.replace(/mv -f /g, "move ");
-    frag = frag.replace(/ || /g, "\r\n\tif errorlevel 1 ");
+    frag = frag.replace(/ \|\| /g, "\r\n\tif errorlevel 1 ");
     frag = frag.replace(/ && /g, "\r\n\tif not errorlevel 1 ");
     if (indent == '') {