Changeset 642 for trunk/config.w32


Ignore:
Timestamp:
2009-07-06T11:42:00+02:00 (5 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.