diff options
Diffstat (limited to 'mps/code')
| -rwxr-xr-x | mps/code/w3build.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/w3build.bat b/mps/code/w3build.bat index 25e4cb72c76..3d6c879cca0 100755 --- a/mps/code/w3build.bat +++ b/mps/code/w3build.bat | |||
| @@ -3,7 +3,7 @@ | |||
| 3 | @rem $HopeName: !gathconf.bat(trunk.1) $ | 3 | @rem $HopeName: !gathconf.bat(trunk.1) $ |
| 4 | @rem Copyright (C) 2000 Harlequin Limited. All rights reserved. | 4 | @rem Copyright (C) 2000 Harlequin Limited. All rights reserved. |
| 5 | 5 | ||
| 6 | rmdir /s w3i3mv | 6 | rmdir /q/s w3i3mv |
| 7 | nmake /f w3i3mv.nmk VARIETY=we mps.lib mpsplan.lib | 7 | nmake /f w3i3mv.nmk VARIETY=we mps.lib mpsplan.lib |
| 8 | nmake /f w3i3mv.nmk VARIETY=wi mps.lib mpsplan.lib | 8 | nmake /f w3i3mv.nmk VARIETY=wi mps.lib mpsplan.lib |
| 9 | nmake /f w3i3mv.nmk VARIETY=ce mps.lib mpsplan.lib | 9 | nmake /f w3i3mv.nmk VARIETY=ce mps.lib mpsplan.lib |