diff options
author | 2017-06-27 17:58:35 +0200 | |
---|---|---|
committer | 2017-06-28 10:17:40 +0200 | |
commit | 3bc1547a5cd78bd6639d968b3cfddbe26b1c31d5 (patch) | |
tree | ad80da2596d9150632ca6a1f1510060fe849fa3a /src/main/java/com/google/devtools/build/lib/rules/cpp/BUILD | |
parent | 9b394a24dc65c794242e98a8a41eb8a60c78367b (diff) |
Add the default category and tag to all options.
Move the default from the annotation to every mention. This makes the incompleteness explicit. Will add the defaults to test targets in a separate change.
Once all dependencies are cleaned up, the Option annotation will no longer allow options without the documentationCategory or effectTag, to prevent new options being added without categories while we migrate to the new option categorization.
PiperOrigin-RevId: 160281252
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/cpp/BUILD')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/rules/cpp/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/rules/cpp/BUILD b/src/main/java/com/google/devtools/build/lib/rules/cpp/BUILD index 15011dc109..8a7d9fbd52 100644 --- a/src/main/java/com/google/devtools/build/lib/rules/cpp/BUILD +++ b/src/main/java/com/google/devtools/build/lib/rules/cpp/BUILD @@ -30,6 +30,7 @@ java_library( "//src/main/java/com/google/devtools/common/options", "//src/main/protobuf:crosstool_config_java_proto", "//src/main/protobuf:extra_actions_base_java_proto", + "//src/main/protobuf:option_filters_java_proto", "//third_party:auto_value", "//third_party:guava", "//third_party:jsr305", |