mingwmake.bat
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 08 Sep 2014 17:03:09 +0100
branchdelegated_gc_hg
changeset 5128 787b617a99e5
parent 4796 85765ef17b54
child 4851 6cebb40eb268
child 5162 57cb3c38c6a1
permissions -rw-r--r--
Merged 52e9f87d45c8 and fcd696f9f401 (branch default)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4452
b96bee8dc658 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
@REM -------
4517
222c9c6ceec6 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 4501
diff changeset
     2
@REM make using mingw gnu compiler
4452
b96bee8dc658 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
@REM type mingwmake, and wait...
b96bee8dc658 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
@REM do not edit - automatically generated from ProjectDefinition
b96bee8dc658 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     5
@REM -------
4486
36fa15293785 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 4452
diff changeset
     6
4796
85765ef17b54 Completion support refactored:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 4517
diff changeset
     7
@pushd ..\rules
85765ef17b54 Completion support refactored:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 4517
diff changeset
     8
@call find_mingw.bat
85765ef17b54 Completion support refactored:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 4517
diff changeset
     9
@popd
4501
3f8f66c8d1f2 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 4486
diff changeset
    10
make.exe -N -f bc.mak %USEMINGW_ARG% %*
4517
222c9c6ceec6 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 4501
diff changeset
    11
222c9c6ceec6 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 4501
diff changeset
    12