hg: jdk/sandbox: Add --with-errorprone option.

magnus.ihse.bursie at oracle.com magnus.ihse.bursie at oracle.com
Thu Aug 2 05:43:25 UTC 2018


Changeset: 16c07e1567e7
Author:    ihse
Date:      2018-08-01 22:43 -0700
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/16c07e1567e7

Add --with-errorprone option.

! make/autoconf/configure.ac
! make/autoconf/jdk-options.m4
! make/autoconf/spec.gmk.in



More information about the jdk-sandbox-changes mailing list