Add flags to specify special hvc file for 1-core gc version
authorjzhou <jzhou>
Fri, 9 Jul 2010 23:29:50 +0000 (23:29 +0000)
committerjzhou <jzhou>
Fri, 9 Jul 2010 23:29:50 +0000 (23:29 +0000)
commite34b219098cd061663d112e8815ef999cd048b42
tree37f6ecdf8c517c113b1bbee799f7e224d93a3c14
parent4cc019a9413871b80b32f25ba767225ce270059d
Add flags to specify special hvc file for 1-core gc version
Robust/src/buildscript