summaryrefslogtreecommitdiff
path: root/scripts/tracetool.py
diff options
context:
space:
mode:
authorAnand J <anand.indukala@gmail.com>2016-10-21 12:27:06 +0530
committerMichael Tokarev <mjt@tls.msk.ru>2016-10-28 18:17:23 +0300
commitd66253e46ae2b9c36a9dd90b2b74c0dfa5804b22 (patch)
treed675ec9cb85ee1892a71cc2801f906c9c6dbeb60 /scripts/tracetool.py
parentbdbcb547cf96fc1794b31003cbae1c7a37c4d205 (diff)
downloadqemu-d66253e46ae2b9c36a9dd90b2b74c0dfa5804b22.zip
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 'scripts/tracetool.py')
0 files changed, 0 insertions, 0 deletions