diff make/jprt.gmk @ 3654:4123781869da

More handles, fixed broken cast.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Thu, 17 Nov 2011 00:28:31 +0100
parents 03b943e6c025
children 109d1d265924
line wrap: on
line diff