aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Googler <noreply@google.com>2016-09-12 09:06:45 +0000
committerGravatar Dmitry Lomov <dslomov@google.com>2016-09-12 10:43:54 +0000
commit6e41ee98a0d606a4d659ca0337b14d31c0ced723 (patch)
treef55f8e14f208b93e03dfd7351a31894c59964db2
parent29074d108613f1147cd8105520aa5c4998b54454 (diff)
Remove --experimental_proto_header_modules.
-- MOS_MIGRATED_REVID=132852559
-rw-r--r--src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java13
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() {