| commit | ed6aaf0f79b7b39b2d70684c902d2d689a3db841 | [log] [tgz] |
|---|---|---|
| author | Jeff Sharkey <jsharkey@android.com> | Fri Jan 30 13:31:45 2015 -0700 |
| committer | Jeff Sharkey <jsharkey@android.com> | Thu Feb 12 09:31:43 2015 -0800 |
| tree | dae71abcb85e6704ec5cf935940e16abce592dc1 | |
| parent | 0f5e1975d317a76e5db4c79bf60641733a375a1e [diff] |
Track line numbers in lint script. Also create separate class to describe failures, which can be consumed by other tools. Still offers to render itself for console output by default. Change-Id: Ib0555cc289ae08a0e446489509cc964c866c564e