diff make/jprt.properties @ 10109:1c6887c9afaa

7172922: export_ makefile targets do not work unless all supported variants are built Reviewed-by: dholmes, kvn
author twisti
date Mon, 15 Apr 2013 16:20:05 -0700
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff