From a379c5d5ea35430c205b430ad1d89516ba371487 Mon Sep 17 00:00:00 2001 From: Kornel Benko Date: Thu, 2 Jun 2022 12:16:07 +0200 Subject: [PATCH] Amend 9d8dfe934ba: Check _all_ visited dirs --- lib/scripts/TeXFiles.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/scripts/TeXFiles.py b/lib/scripts/TeXFiles.py index 16b7df2e8b..a5787eaacb 100755 --- a/lib/scripts/TeXFiles.py +++ b/lib/scripts/TeXFiles.py @@ -111,12 +111,12 @@ for type in types: file_ext = '.' + type out = open(outfile, 'w') + visited = set() for dir in dirs.split(path_sep): # for each valid directory if not os.path.isdir(dir): continue # walk down the file hierarchy - visited = set() for root,dirs,files in os.walk(dir, followlinks=True): # prevent inifinite recursion recurse = []