https://pantsbuild.org/ logo
#general
Title
# general
j

jolly-chef-92794

08/24/2015, 9:23 PM
So is the consensus that I should move the
—jdk-paths
option into the
[distribution-locator]
subsystem, and otherwise keep the patch as-is? (Also, should the namespace in that case be
distribution-locator
, or
jvm-distribution
, or
jvm-distribution-locator
…)