diff options
author | 2017-12-05 07:11:03 -0800 | |
---|---|---|
committer | 2017-12-05 07:13:18 -0800 | |
commit | 1fa2dfb28c5318cfa8190f47297f75e155d88e11 (patch) | |
tree | 9fcfab282c5c8a2ab3cacd6da95e498dbedd1f17 /src/main/java/com/google/devtools/build/lib/rules | |
parent | 7b540204eea9b003e19efe917abacf67270f5e02 (diff) |
Build output files if the build tag filter contains only tags to exclude.
This is arguably more correct, since output files don't have any tags, therefore you cannot exclude them by specifying tags to exclude.
Fixes #4012.
RELNOTES: None.
PiperOrigin-RevId: 177950851
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules')
0 files changed, 0 insertions, 0 deletions