From c636c26accc01d3620f4d3748d8c903f8b1e61fe Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Mon, 3 Dec 2012 17:43:39 +0100 Subject: [PATCH] Minor update --- extra/shutils/pylint.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/extra/shutils/pylint.py b/extra/shutils/pylint.py index db7baa59c..f2a334585 100644 --- a/extra/shutils/pylint.py +++ b/extra/shutils/pylint.py @@ -38,6 +38,8 @@ if __name__ == "__main__": print "looking for *.py scripts in subdirectories of ", BASE_DIRECTORY for root, dirs, files in os.walk(BASE_DIRECTORY): + if any(_ in root for _ in ("extra", "thirdparty")): + continue for name in files: filepath = os.path.join(root, name) check(filepath)