tree 0cb7cfa29323038bf2f7a0ddbc4db34d4f44916d
parent 20f1e0ca1d6c3a0724e94b8fbcbe4b36c93b42b8
author Jeff Sharkey <jsharkey@android.com> 1524245176 -0600
committer Adrian Roos <roosa@google.com> 1548153394 +0100

Extend lint script to emit API statistics.

Bug: 77588754
Test: manual
Change-Id: I240dba5fae1a8635a4265a1af903517f00dec54c
(cherry picked from commit daa7cf3a365c24e3a81d0df178c188b12e6d3a91)