diff options
author | 2018-06-06 11:54:00 -0700 | |
---|---|---|
committer | 2018-06-06 11:55:42 -0700 | |
commit | af8b772560301f89de251dc494b3c5669451c5df (patch) | |
tree | 9b29f59814b0518cf3e6fc2b5c53f16286afdf87 /src/main/java/com/google/devtools/build/lib | |
parent | 52fa20f5830c2500f5f0f6c9f4522bf75583ce36 (diff) |
Mark --batch as deprecated in the documentation.
RELNOTES: None.
PiperOrigin-RevId: 199503117
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java b/src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java index 1ec6e13d88..a79eb773b3 100644 --- a/src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java +++ b/src/main/java/com/google/devtools/build/lib/runtime/BlazeServerStartupOptions.java @@ -210,9 +210,11 @@ public class BlazeServerStartupOptions extends OptionsBase { OptionEffectTag.LOSES_INCREMENTAL_STATE, OptionEffectTag.BAZEL_INTERNAL_CONFIGURATION }, + metadataTags = {OptionMetadataTag.DEPRECATED}, help = "If set, Blaze will be run as just a client process without a server, instead of in " - + "the standard client/server mode." + + "the standard client/server mode. This is deprecated and will be removed, please " + + "prefer shutting down the server explicitly if you wish to avoid lingering servers." ) public boolean batch; |