Allow buildscript user to set the compiler's JVM heap size, so you can set it differe...
authorjjenista <jjenista>
Thu, 13 Oct 2011 02:33:14 +0000 (02:33 +0000)
committerjjenista <jjenista>
Thu, 13 Oct 2011 02:33:14 +0000 (02:33 +0000)
commit7ff9564b74df0ad2a176b8bc925f8c6425039916
treece465015061ca73b28455bbe7231090719815086
parent1b9dce0d0524b5e3420e56c30b040e9ce6ca48a3
Allow buildscript user to set the compiler's JVM heap size, so you can set it differently for different hosts
Robust/src/Benchmarks/oooJava/master-makefile
Robust/src/buildscript