diff options
author | Googler <noreply@google.com> | 2016-09-12 09:06:45 +0000 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2016-09-12 10:43:54 +0000 |
commit | 6e41ee98a0d606a4d659ca0337b14d31c0ced723 (patch) | |
tree | f55f8e14f208b93e03dfd7351a31894c59964db2 /src | |
parent | 29074d108613f1147cd8105520aa5c4998b54454 (diff) |
Remove --experimental_proto_header_modules.
--
MOS_MIGRATED_REVID=132852559
Diffstat (limited to 'src')
-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() { |