| commit | 7a66e787b6ca6feb11f4a5c8b46705fafe5264b0 | [log] [tgz] |
|---|---|---|
| author | Logan Chien <loganchien@google.com> | Tue Jan 09 18:19:26 2018 +0800 |
| committer | Logan Chien <loganchien@google.com> | Wed Jan 10 09:32:03 2018 +0800 |
| tree | 7331d92db56b6121ceeb57526685786b1cc0ca42 | |
| parent | a907adb57463bb5ce3383648e94fbbe0f1c0a578 [diff] |
header-checker: Suppress extension warning This commit suppresses extension warning if --allow-extensions is specified. Test: Run header-abi-diff with --allow-extensions Change-Id: I76a868aea239e5ce6f8213c12282c946d28f2ab5