Changeset 642 for trunk/config.w32


Ignore:
Timestamp:
2009-07-06T11:42:00+02:00 (6 years ago)
Author:
moo
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/config.w32

    r605 r642  
    116116    frag = frag.replace(/.*\$\(CC\).* -E (.*) -o (.*)/, ccrule + " /E $1 > $2");
    117117    frag = frag.replace(/ -o /g, " /Fo");
    118     frag = frag.replace(/mv -f /g, "move ");
     118    frag = frag.replace(/cp /g, "copy ");
     119    frag = frag.replace(/mv /g, "move ");
    119120    frag = frag.replace(/ \|\| /g, "\r\n\tif errorlevel 1 ");
    120121    frag = frag.replace(/ && /g, "\r\n\tif not errorlevel 1 ");
Note: See TracChangeset for help on using the changeset viewer.