1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/check_sources.py b/scripts/check_sources.py
index 2b79cfe6..163c3067 100755
--- a/scripts/check_sources.py
+++ b/scripts/check_sources.py
@@ -159,8 +159,6 @@ def main(argv):
     for root, dirs, files in os.walk(path):
         if '.hg' in dirs:
             dirs.remove('.hg')
-        if 'examplefiles' in dirs:
-            dirs.remove('examplefiles')
         if '-i' in opts and abspath(root) in opts['-i']:
             del dirs[:]
             continue