diff options
| author |  mschaller <mschaller@google.com> | 2017-05-19 17:28:01 +0200 |
|---|---|---|
| committer |  Irina Iancu <elenairina@google.com> | 2017-05-22 14:36:55 +0200 |
| commit | 31dbadf4e86146af90bd5a1a5dfccc046c960d76 (patch) | |
| tree | b6f35b4a51bd476409643ef746487d1f813349a5 /src/main/java/com/google/devtools/build/lib | |
| parent | a79015e696f163436244887085d3b8a05ec1b0b1 (diff) | |
Avoid waste in registerNewlyDiscovered... when there aren't any
RELNOTES: None.
PiperOrigin-RevId: 156553687
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions