comparison make/jprt.properties @ 7380:3207ee96b659

Added possibility for platform-specific peephole optimizations. Added combining div/rem optimization.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 15 Jan 2013 18:39:40 +0100
parents 3958f0acde31
children 3be6a41ad358
comparison
equal deleted inserted replaced
7379:0cc86f2309be 7380:3207ee96b659