diff options
| author |  ccalvarin <ccalvarin@google.com> | 2017-09-19 19:09:26 +0200 |
|---|---|---|
| committer |  László Csomor <laszlocsomor@google.com> | 2017-09-20 09:03:22 +0200 |
| commit | 2573540ae538f117a7ac919783298561ed484e3e (patch) | |
| tree | 827125d52d2f4afdf5d9cbdffe212ecdc8e41460 /src/main/java/com/google/devtools/common | |
| parent | fd09d74be91cc8222e9e1a94b4d37a35803cd41f (diff) | |
Document the options in smaller commands.
RELNOTES: None.
PiperOrigin-RevId: 169258065
Diffstat (limited to 'src/main/java/com/google/devtools/common')
| -rw-r--r-- | src/main/java/com/google/devtools/common/options/OptionDocumentationCategory.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/common/options/OptionDocumentationCategory.java b/src/main/java/com/google/devtools/common/options/OptionDocumentationCategory.java index e288b13e57..1f27046607 100644 --- a/src/main/java/com/google/devtools/common/options/OptionDocumentationCategory.java +++ b/src/main/java/com/google/devtools/common/options/OptionDocumentationCategory.java @@ -93,4 +93,11 @@ public enum OptionDocumentationCategory { /** This option relates to query output and semantics. */ QUERY, + + /** + * This option specifies or alters a generic input to a Bazel command. This category should only + * be used if the input is generic and does not fall into other categories, such as toolchain- + * specific inputs. + */ + GENERIC_INPUTS, } |