diff options
| author | Anand J <anand.indukala@gmail.com> | 2016-10-21 12:27:06 +0530 |
|---|---|---|
| committer | Michael Tokarev <mjt@tls.msk.ru> | 2016-10-28 18:17:23 +0300 |
| commit | d66253e46ae2b9c36a9dd90b2b74c0dfa5804b22 (patch) | |
| tree | d675ec9cb85ee1892a71cc2801f906c9c6dbeb60 /hw/display/trace-events | |
| parent | bdbcb547cf96fc1794b31003cbae1c7a37c4d205 (diff) | |
scripts/clean-includes: added duplicate #include check
Enhance the clean-includes script to optionally check for duplicate #include
entries.
Script might output false positive entries as well. Such entries should
not be removed. So if it finds any duplicate entries script will
terminate with an exit status 1. Then each and every file should be
checked manually and corrected if necessary.
In order to enable the check use --check-dup-head option with
scripts/clean-includes.
Reviewed-by: Thomas Huth <thuth@redhat.com>
Signed-off-by: Anand J <anand.indukala@gmail.com>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
Diffstat (limited to 'hw/display/trace-events')
0 files changed, 0 insertions, 0 deletions