make.bat
author Stefan Vogel <sv@exept.de>
Fri, 15 Jul 2016 13:57:43 +0200
branchdelegated_gc
changeset 7412 d4b5f3114373
parent 2628 d7b5d766d6d1
permissions -rw-r--r--
Need device instvar CVS ----------------------------------------------------------------------
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2628
d7b5d766d6d1 *** empty log message ***
ps
parents: 1909
diff changeset
     1
nmake /nologo -f nt.mak
d7b5d766d6d1 *** empty log message ***
ps
parents: 1909
diff changeset
     2
nmake /nologo -f ntw.mak
d7b5d766d6d1 *** empty log message ***
ps
parents: 1909
diff changeset
     3
nmake /nologo -f ntx.mak
d7b5d766d6d1 *** empty log message ***
ps
parents: 1909
diff changeset
     4