tree 316c042384f079893433a194d233d9e94ed12350
parent fb748fb455e28f4ca3a5905d12633bbb60276db1
author davg <davg@google.com> 1522096163 -0400
committer Jonathan Dierksen <dierksen@google.com> 1522273400 -0400

Install generated headers in the background

Improve build times by installing generated headers in the background
instead of in serial in bazel_build.py.

PiperOrigin-RevId: 190515356