aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
diff options
context:
space:
mode:
authorGravatar lberki <lberki@google.com>2018-01-11 01:22:24 -0800
committerGravatar Copybara-Service <copybara-piper@google.com>2018-01-11 01:24:31 -0800
commitbc704360a93ff65c4d3684ab5cc0e45bd403bdd8 (patch)
tree3de0d09584b9ca11e32dafcc51ccbd2d26c4be39 /src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
parentad0d7e946cd2ad05ec89c78a2f1959ffbbfa12a8 (diff)
Remove the unused --[no]experimental_disable_jvm command line option.
RELNOTES: The --[no]experimental_disable_jvm command line option is not supported anymore. PiperOrigin-RevId: 181575259
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java')
-rw-r--r--src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java9
1 files changed, 0 insertions, 9 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java b/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
index 8c030ce55b..e9c6fb2bb1 100644
--- a/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
+++ b/src/main/java/com/google/devtools/build/lib/rules/java/JavaOptions.java
@@ -432,15 +432,6 @@ public class JavaOptions extends FragmentOptions {
public List<String> checkedConstraints;
@Option(
- name = "experimental_disable_jvm",
- defaultValue = "false",
- documentationCategory = OptionDocumentationCategory.UNDOCUMENTED,
- effectTags = {OptionEffectTag.UNKNOWN},
- help = "Disables the Jvm configuration entirely."
- )
- public boolean disableJvm;
-
- @Option(
name = "java_optimization_mode",
defaultValue = "legacy",
converter = JavaOptimizationModeConverter.class,