diff make/jprt.properties @ 19764:18be6264186f

Bootstrap might exit early in debug JVM
author twisti
date Tue, 10 Mar 2015 20:32:04 -0700
parents cb1b723cbca8
children 43aa571c1131
line wrap: on
line diff