| commit | a907adb57463bb5ce3383648e94fbbe0f1c0a578 | [log] [tgz] |
|---|---|---|
| author | Logan Chien <loganchien@google.com> | Tue Jan 09 18:17:49 2018 +0800 |
| committer | Logan Chien <loganchien@google.com> | Wed Jan 10 09:32:03 2018 +0800 |
| tree | 75760a6d1238e2786740ec176e1526e6cd74c20e | |
| parent | f7b388328bfded1b87c15844a82a060af42f42b5 [diff] |
header-checker: Change extensions from warning to error This commit changes API extensions from warning to error if the command line option `--allow-extensions` is not specified. Test: Run header-abi-diff without --allow-extensions and see the error Change-Id: If3cf659246e78409ec64ce68dfa885ab4808b50b