Merge branch 'master' into sruffilli-cost-cut

This commit is contained in:
Ludovico Magnocavallo 2022-02-27 11:03:10 +00:00 committed by GitHub
commit 84642aba2d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -151,6 +151,8 @@ def parse_files(basepath, exclude_files=None):
'Return a list of File named tuples in root module at basepath.'
exclude_files = exclude_files or []
for name in glob.glob(os.path.join(basepath, '*tf')):
if os.path.islink(name):
continue
shortname = os.path.basename(name)
if shortname in exclude_files:
continue