-
Bug
-
Resolution: Fixed
-
P4
-
None
-
b74
--with-java-path should be named --with-java-devtools. Or maybe not. You might want to ask on the list first.
Pro: it's more clear that it matches /java/devtools, and that the devtools part of the path must be included.
Con: We're changing a communicated options.
Pro: it's more clear that it matches /java/devtools, and that the devtools part of the path must be included.
Con: We're changing a communicated options.