Index: /trunk/config.w32
===================================================================
--- /trunk/config.w32	(revision 30)
+++ /trunk/config.w32	(revision 31)
@@ -92,5 +92,5 @@
 	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 == '') {