diff options
author | 2017-06-30 16:01:36 +0200 | |
---|---|---|
committer | 2017-07-03 09:05:16 +0200 | |
commit | 59a0e4f10bf037dcd4f257b2e21573fa1b690e93 (patch) | |
tree | de0608d43ac8fe4931787a63966091eb30d729e2 /src/main/java/com/google/devtools/build/lib/packages/EnvironmentGroup.java | |
parent | 30c35a2a447a9fc5e93a6a5849d9c8a480d99464 (diff) |
Enforce the new category and effect tags.
All options need to explicitly list their category and effect. If they are uncategorized, this makes the lack of information obvious. Remove defaults from the annotation to enforce this.
Also enforce the sanity check that no option should have UNKNOWN or NO_OP effects listed with other effect tags.
Includes some last default sets for options I missed in the previous mass-setting change, and some that were added since.
PiperOrigin-RevId: 160641861
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/packages/EnvironmentGroup.java')
0 files changed, 0 insertions, 0 deletions