diff options
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java b/src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java index c417808945..d93750da00 100644 --- a/src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java +++ b/src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java @@ -847,12 +847,6 @@ public final class BuildConfiguration { help = "Shows whether these options are set for host configuration.") public boolean isHost; - @Option(name = "experimental_proto_header_modules", - defaultValue = "false", - category = "undocumented", - help = "Enables compilation of C++ header modules for proto libraries.") - public boolean protoHeaderModules; - @Option(name = "features", allowMultiple = true, defaultValue = "", @@ -2411,13 +2405,6 @@ public final class BuildConfiguration { } /** - * @return whether proto header modules should be built. - */ - public boolean getProtoHeaderModules() { - return options.protoHeaderModules; - } - - /** * @return the list of default features used for all packages. */ public List<String> getDefaultFeatures() { |