diff make/jprt.properties @ 14913:2d1cc640512c

Add possibility to build using error-prone instead of javac.
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 28 Mar 2014 10:46:48 +0100
parents f0221ff14605
children 3ef5c627634a
line wrap: on
line diff