diff make/jprt.properties @ 20181:8dec9eea3186

mx: Avoid listing directories that do not exist while looking for JDKs
author Gilles Duboscq <gilles.m.duboscq@oracle.com>
date Tue, 07 Apr 2015 11:19:39 +0200
parents cb1b723cbca8
children 43aa571c1131
line wrap: on
line diff