diff options
author | 2018-03-28 08:09:07 -0700 | |
---|---|---|
committer | 2018-03-28 08:10:21 -0700 | |
commit | b0440164eda858fa0e14f623780a00b30e20ebf7 (patch) | |
tree | 85a290c60a203d1c2dcee299c791325d1245540b /src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java | |
parent | 64524c1faa22eca5921a0bdd7bb98b89d013bdaf (diff) |
Remove categories from Bazel options.
These have all had a chance to be categorized with the OptionDocumentationCategory enum, and the help output already uses the enum-grouped format.
The "incompatible changes" category has meaning for --all_incompatible_changes and will be removed separately.
RELNOTES: None.
PiperOrigin-RevId: 190773778
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java b/src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java index 08aaa53e33..aa83c16400 100644 --- a/src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java +++ b/src/main/java/com/google/devtools/build/lib/exec/local/LocalExecutionOptions.java @@ -28,7 +28,6 @@ public class LocalExecutionOptions extends OptionsBase { @Option( name = "local_termination_grace_seconds", oldName = "local_sigkill_grace_seconds", - category = "remote execution", documentationCategory = OptionDocumentationCategory.UNCATEGORIZED, effectTags = {OptionEffectTag.UNKNOWN}, defaultValue = "15", |