diff options
author | Lukacs Berki <lberki@google.com> | 2017-03-06 11:21:35 +0000 |
---|---|---|
committer | Vladimir Moskva <vladmos@google.com> | 2017-03-06 14:43:55 +0000 |
commit | bfd9aa359addb582b4f29e54ab09fc350e927e31 (patch) | |
tree | 56893317072ed4a6a027a2f53ac0d1f6667c48ce /src/main/java/com | |
parent | 86490498d710361f6fc8245bf7eb42dec02fae0b (diff) |
Convey the value of the --host_javabase startup option to the server.
--
PiperOrigin-RevId: 149282686
MOS_MIGRATED_REVID=149282686
Diffstat (limited to 'src/main/java/com')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/runtime/HostJvmStartupOptions.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/HostJvmStartupOptions.java b/src/main/java/com/google/devtools/build/lib/runtime/HostJvmStartupOptions.java index 449f4525d5..368b23150d 100644 --- a/src/main/java/com/google/devtools/build/lib/runtime/HostJvmStartupOptions.java +++ b/src/main/java/com/google/devtools/build/lib/runtime/HostJvmStartupOptions.java @@ -28,6 +28,13 @@ import java.util.List; */ public class HostJvmStartupOptions extends OptionsBase { + @Option(name = "host_javabase", + defaultValue = "", // NOTE: purely decorative! Se BlazeServerStartupOptions. + category = "host jvm startup", + valueHelp = "<jvm path>", + help = "Path to the JVM used to execute Blaze itself.") + public String hostJavabase; + @Option(name = "host_jvm_args", defaultValue = "", // NOTE: purely decorative! See BlazeServerStartupOptions. category = "host jvm startup", |