tree cca9058b577119a971842a3b34037429ffd6e556
parent 0bcd913e87223c8845a025e6e1f29f234023ad2a
author Dan Willemsen <dwillemsen@google.com> 1433980502 -0700
committer Dan Willemsen <dwillemsen@google.com> 1433984206 -0700

Support bootstrap regeneration with different filename

Change-Id: I1ebc2f6a6af1a1dce81925110a67752d45f6c02c