Erik:
Open part of this review:
There is an artificial limitation put into configure that prevents
usage of options --with-devkit and --with-tools-dir at the same time.
The reason was probably because they could potentially be conflicting.
This patch removes this check and makes them work together, both
ending up on the search path for tools (with --with-tools-dir ending
up ahead of devkit).
I also stumbled on some dead code that was causing warnings to be
printed when using --with-devkit and decided to remove that while
touching that option anyway.
http://cr.openjdk.java.net/~erikj/8017047/webrev.root.01/
In the new basics.m4:
362 TOOLS_DIR=$TOOLS_DIR:$with_devkit/bin
If TOOLS_DIR was empty, this will add an extra :
Probably harmless, but I'd prefer not to see it happen. If you feel it
is harmless, go ahead.
Code deletion looks good.
Tim
