hg: jdk8/build: 8017047: Can't use --with-java-devtools and --with-devkit at the same time

[erik . joelsson]

Changeset: f5eb23490e6a
Author:    erikj
Date:      2013-06-27 09:27 +0200
URL:       http://hg.openjdk.java.net/jdk8/build/rev/f5eb23490e6a

8017047: Can't use --with-java-devtools and --with-devkit at the same time
Reviewed-by: tbell

! common/autoconf/basics.m4
! common/autoconf/generated-configure.sh
! common/autoconf/toolchain.m4