diff make/jprt.properties @ 16993:81eb0d77e9f9

fix compilation issue; after a method is compiled (but not yet installed), it still needs to call the already compiled children.
author Christian Wirth <christian.wirth@oracle.com>
date Thu, 28 Aug 2014 18:07:52 +0200
parents f0221ff14605
children 3ef5c627634a
line wrap: on
line diff