commit daa7cf3a365c24e3a81d0df178c188b12e6d3a91
author Jeff Sharkey <jsharkey@android.com> Fri Apr 20 11:26:16 2018 -0600
committer Jeff Sharkey <jsharkey@android.com> Wed Jun 06 16:12:39 2018 -0600
tree 06f1b1b63ee73b6d4551ab8414196b5905047c5f
parent 7bb9fcbc4586610a8b20e1c4d11987cc48850e8c

Extend lint script to emit API statistics.

Bug: 77588754
Test: manual
Change-Id: I240dba5fae1a8635a4265a1af903517f00dec54c

tools/apilint/apilint_stats.sh

diff --git a/tools/apilint/apilint_stats.sh b/tools/apilint/apilint_stats.sh
new file mode 100755
index 0000000..052d9a5
--- /dev/null
+++ b/tools/apilint/apilint_stats.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+API=28
+while [ $API -gt 14 ]; do
+    echo "# Changes in API $((API))"
+    python tools/apilint/apilint.py --show-stats ../../prebuilts/sdk/$((API))/public/api/android.txt ../../prebuilts/sdk/$((API-1))/public/api/android.txt
+    let API=API-1
+done