diff options
| author |  Carmi Grushko <carmi@google.com> | 2017-02-24 00:17:58 +0000 |
|---|---|---|
| committer |  Irina Iancu <elenairina@google.com> | 2017-02-24 08:31:34 +0000 |
| commit | 3adcef45a8fcf646fb3260738fd68d6f81372d51 (patch) | |
| tree | d97e08e172fbffbcb58dedd1293dd2f4af90d5d5 /src | |
| parent | c67080c787cf0d176a91564c981b2366242d6c19 (diff) | |
Remove mention of the ignored flag "--output_descriptor_set".
--
PiperOrigin-RevId: 148405662
MOS_MIGRATED_REVID=148405662
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/java/com/google/devtools/build/lib/rules/proto/ProtoConfiguration.java | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/rules/proto/ProtoConfiguration.java b/src/main/java/com/google/devtools/build/lib/rules/proto/ProtoConfiguration.java index 46be0f8345..64a202da51 100644 --- a/src/main/java/com/google/devtools/build/lib/rules/proto/ProtoConfiguration.java +++ b/src/main/java/com/google/devtools/build/lib/rules/proto/ProtoConfiguration.java @@ -110,14 +110,6 @@ public class ProtoConfiguration extends Fragment { ) public StrictDepsMode strictProtoDeps; - @Option( - name = "output_descriptor_set", - defaultValue = "true", - category = "experimental", - help = "ignored." - ) - public boolean outputDescriptorSet; - @Override public FragmentOptions getHost(boolean fallback) { Options host = (Options) super.getHost(fallback); |