From 1565d2fe562da8e7d10181f30d7e3228c91f23b3 Mon Sep 17 00:00:00 2001 From: Richard Kimberly Heck Date: Mon, 24 Feb 2020 19:00:31 -0500 Subject: [PATCH] Fix bug #11750. Unfortunately, stat.st_ino returns 0 on Windows, at least on Python 2.7, so we can't use that way of telling when we're seeing the same directory again. Surely the real pathname should work. --- lib/scripts/TeXFiles.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/lib/scripts/TeXFiles.py b/lib/scripts/TeXFiles.py index 188f6b90ad..16b7df2e8b 100755 --- a/lib/scripts/TeXFiles.py +++ b/lib/scripts/TeXFiles.py @@ -121,10 +121,11 @@ for type in types: # prevent inifinite recursion recurse = [] for dir in dirs: - st = os.stat(os.path.join(root, dir)) - key = st.st_dev, st.st_ino - if key not in visited: - visited.add(key) + dirname = os.path.join(root, dir) + dirname = os.path.realpath(dirname) + dirname = os.path.normcase(dirname) + if dirname not in visited: + visited.add(dirname) recurse.append(dir) dirs[:] = recurse # check file type -- 2.39.5