tree e94fdcc22c92deafc1fb9cc4cf4c91136b516231
parent 2b4de3e62c8e45022eb60da9dfd0419cd232fa1f
author Søren Gjesse <sgjesse@google.com> 1519203127 +0100
committer Søren Gjesse <sgjesse@google.com> 1519203127 +0100

Dump timing when system proterty com.android.tools.r8.printtimes is set

Change-Id: I49e8af128ce2c3e7a04f872d2a26078594a76607