Mercurial > hg > graal-compiler
diff make/jprt.properties @ 5268:b59e32ea3761
enable graph caching and priority compilation queue
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Fri, 20 Apr 2012 15:02:54 +0200 |
parents | a9831b955a0a |
children | 2d503de963b3 |