From 0370c293249457d3523ee5fa68335d80fc9f935a Mon Sep 17 00:00:00 2001 From: rr- Date: Thu, 17 Dec 2015 22:33:46 +0100 Subject: [PATCH] scripts: fix checkstyle testing catch.h --- scripts/checkstyle | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/checkstyle b/scripts/checkstyle index 9a342da94..0c82479cc 100755 --- a/scripts/checkstyle +++ b/scripts/checkstyle @@ -230,6 +230,7 @@ def main(): for dir in dirs: sources = sorted(glob.iglob(dir + '/**/*.cc', recursive=True)) headers = sorted(glob.iglob(dir + '/**/*.h', recursive=True)) + headers = [f for f in headers if 'catch.h' not in f] for name in sorted(sources + headers): with open(name, 'rb') as f: