diff options
| author | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2019-10-23 16:10:26 +0300 |
|---|---|---|
| committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2019-10-23 17:12:34 +0300 |
| commit | bb5f8cf4951fc5813d60ab806c57c5b5d713f38c (patch) | |
| tree | 6aec757b18fd5d15b8e060564c338bfc73772a37 /package/gentoo/media-libs | |
| parent | 73a11cbf78342ecc875709e92abacee165530823 (diff) | |
utils: checkstyle.py: Add include checker
Add an include checker to verify usage of the C compatibility headers.
Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Reviewed-by: Niklas Söderlund <niklas.soderlund@ragnatech.se>
Diffstat (limited to 'package/gentoo/media-libs')
0 files changed, 0 insertions, 0 deletions