diff options
| author |  Philipp Wollermann <philwo@google.com> | 2016-07-27 15:00:41 +0000 |
|---|---|---|
| committer |  Adam Michael <ajmichael@google.com> | 2016-07-28 18:36:28 -0400 |
| commit | 1b7abbf17405e7168272ab91fef13550cdbef5cc (patch) | |
| tree | ff0545f82d6698b401f795730e941ef489db5f96 /src/main/java/com/google/devtools/build/lib/rules | |
| parent | e7cd933c441aa09810e365c0005f622cd317911a (diff) | |
JavaBuilder: Reintroduce the -extra_checks flag.
Fixes #1570.
--
MOS_MIGRATED_REVID=128585415
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules')
0 files changed, 0 insertions, 0 deletions