diff options
author | hlopko <hlopko@google.com> | 2017-07-27 16:40:10 +0200 |
---|---|---|
committer | Jakob Buchgraber <buchgr@google.com> | 2017-07-28 10:44:37 +0200 |
commit | 20f542960cf04a13c67de638e0ef5f63925d6412 (patch) | |
tree | 620a200fabe4172882b80888010a5acc90f59ca1 /src/main/java/com/google/devtools/build | |
parent | c4fb218ea441797e3064039eba0255bbd145b794 (diff) |
Remove unused module-related options
RELNOTES: None.
PiperOrigin-RevId: 163338873
Diffstat (limited to 'src/main/java/com/google/devtools/build')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java b/src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java index 4b266081a2..5a1c87cb9a 100644 --- a/src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java +++ b/src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java @@ -747,26 +747,6 @@ public class CppOptions extends FragmentOptions { public boolean inmemoryDotdFiles; @Option( - name = "experimental_skip_unused_modules", - defaultValue = "false", - category = "experimental", - documentationCategory = OptionDocumentationCategory.UNCATEGORIZED, - effectTags = {OptionEffectTag.UNKNOWN}, - help = "Deprecated. No effect." - ) - public boolean skipUnusedModules; - - @Option( - name = "experimental_prune_more_modules", - defaultValue = "false", - category = "experimental", - documentationCategory = OptionDocumentationCategory.UNCATEGORIZED, - effectTags = {OptionEffectTag.UNKNOWN}, - help = "Deprecated. No effect." - ) - public boolean pruneMoreModules; - - @Option( name = "prune_cpp_modules", defaultValue = "true", category = "strategy", |