diff options
author | 2017-09-12 20:25:00 +0200 | |
---|---|---|
committer | 2017-09-13 19:05:59 +0200 | |
commit | d9b634687e154cdff2c8fb4c553149aad1d2cf86 (patch) | |
tree | f0c1d253c4a8192fdf57d6b1df02845b6a1296cf /src/main/java/com/google/devtools/build/lib/query2/output | |
parent | 7da54b5e2942bdb444abbf68ac3c7f34a453b4d9 (diff) |
Don't allow injection of non-default output formatters for genquery rule.
PiperOrigin-RevId: 168406412
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/query2/output')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/query2/output/QueryOptions.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/query2/output/QueryOptions.java b/src/main/java/com/google/devtools/build/lib/query2/output/QueryOptions.java index 8bf163d6f0..f4e003dd7d 100644 --- a/src/main/java/com/google/devtools/build/lib/query2/output/QueryOptions.java +++ b/src/main/java/com/google/devtools/build/lib/query2/output/QueryOptions.java @@ -50,7 +50,7 @@ public class QueryOptions extends OptionsBase { effectTags = {OptionEffectTag.TERMINAL_OUTPUT}, help = "The format in which the query results should be printed. Allowed values are: " - + "label, label_kind, minrank, maxrank, package, location, graph, xml, proto, record." + + "label, label_kind, minrank, maxrank, package, location, graph, xml, proto." ) public String outputFormat; |