From 20f542960cf04a13c67de638e0ef5f63925d6412 Mon Sep 17 00:00:00 2001 From: hlopko Date: Thu, 27 Jul 2017 16:40:10 +0200 Subject: Remove unused module-related options RELNOTES: None. PiperOrigin-RevId: 163338873 --- .../devtools/build/lib/rules/cpp/CppOptions.java | 20 -------------------- 1 file changed, 20 deletions(-) (limited to 'src/main/java/com/google/devtools/build/lib/rules/cpp/CppOptions.java') 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 @@ -746,26 +746,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", -- cgit v1.2.3