exclude .bigfiles and sources being from cleaned up

diff --git a/check-unused-files.py b/check-unused-files.py
index c1ec3770c957fdee932517ae6fadf556ae4d1197..4ecc6a95816a7a062ca0d185f2e62166d44d2fd3 100755 (executable)
--- a/check-unused-files.py
+++ b/check-unused-files.py
@@ -38,7 +38,7 @@ for l in out.split('\n'):
 obsolete = []
 
 # files to exclude
-exclude = ['log.*', '.#*', '*~', '*.orig', '*.sw?']
+exclude = ['log.*', '.#*', '*~', '*.orig', '*.sw?', '.bigfiles', 'sources']
 
 # read .gitignore, distfiles files are filled there
 if os.path.isfile('%s/.gitignore' % dir):