tree 920333d70fdbf9b473ab917d17ff426fe7c0f99d
parent caa68e97d9038f9cd489186e6dcefd8bc9dbc965
author dmaclach <dmaclach@google.com> 1530571207 -0400
committer Jonathan Dierksen <dierksen@google.com> 1531410559 -0400

Does a better job about getting timing for installing generated headers by throwing it out on a thread.

DELTA=20 (4 added, 8 deleted, 8 changed)
DELTA_BY_EXTENSION=py=12
PiperOrigin-RevId: 203025058