diff options
author | Googler <noreply@google.com> | 2017-11-27 21:24:48 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2017-11-27 21:26:54 -0800 |
commit | 3e99e06c050e4d54478801753f5ef705f74dda49 (patch) | |
tree | 8decce6bf4e7d01f35f20e950452669c874a490b /src/main/java | |
parent | f3e3280897e4d81af07f8744f97504814e78d60b (diff) |
Remove unused flag.
RELNOTES: None.
PiperOrigin-RevId: 177113477
Diffstat (limited to 'src/main/java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java b/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java index c93f667878..dd1960ae1d 100644 --- a/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java +++ b/src/main/java/com/google/devtools/build/lib/runtime/CommonCommandOptions.java @@ -149,18 +149,6 @@ public class CommonCommandOptions extends OptionsBase { ) public PathFragment memoryProfilePath; - @Deprecated - @Option( - name = "gc_watchdog", - defaultValue = "false", - documentationCategory = OptionDocumentationCategory.UNDOCUMENTED, - effectTags = {OptionEffectTag.NO_OP}, - metadataTags = {OptionMetadataTag.DEPRECATED}, - deprecationWarning = "Ignoring: this option is no longer supported", - help = "Deprecated." - ) - public boolean gcWatchdog; - @Option( name = "experimental_oom_more_eagerly_threshold", defaultValue = "100", |