From: Ján Tomko Date: Wed, 9 Oct 2019 19:02:38 +0000 (+0200) Subject: scripts: speedup prohibit-duplicate-header X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=424a385c3ab8d0c9359e310364f1ec5cf32fe854;p=libvirt.git scripts: speedup prohibit-duplicate-header Running regular expressions with capture groups is expensive. Bail out early if the line does not start with a '#'. This reduces the runtime of the check by two thirds. Signed-off-by: Ján Tomko Reviewed-by: Daniel Henrique Barboza Reviewed-by: Erik Skultety --- diff --git a/scripts/prohibit-duplicate-header.py b/scripts/prohibit-duplicate-header.py index dfdfa0bf0b..420311ccef 100644 --- a/scripts/prohibit-duplicate-header.py +++ b/scripts/prohibit-duplicate-header.py @@ -30,6 +30,10 @@ def check_file(filename): for line in fh: lineno = lineno + 1 + # skip non-matching lines early + if line[0] != '#': + continue + headermatch = re.search(r'''^# *include *[<"]([^>"]*\.h)[">]''', line) if headermatch is not None: inc = headermatch.group(1)