tree 37934ec3933ca89224a674b13f5dc3415a06786a
parent bace0378d720a1d2938ec7f6be17e2814671d20a
author Nicolas Geoffray <ngeoffray@google.com> 1410514193 +0100
committer Nicolas Geoffray <ngeoffray@google.com> 1410948157 +0100

Add the "time" compilation filter and output compilation stats.

A "time" compiler filter means the compiler optimizes for
compile time.

Change-Id: Id1a207ceb2d95f3548aae5e45d51b80695da2029