From 638a0517ce197d58514ead01e95bdcbb3bb19664 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Fri, 30 May 2025 18:50:06 +0200 Subject: [PATCH] Hotfix: is_ignored_file not being passed on in scan_directory --- src/serena/util/file_system.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/serena/util/file_system.py b/src/serena/util/file_system.py index 8d7ed90f..2a733177 100644 --- a/src/serena/util/file_system.py +++ b/src/serena/util/file_system.py @@ -40,7 +40,11 @@ def scan_directory( directories.append(result_path) if recursive: sub_dirs, sub_files = scan_directory( - entry_path, recursive=True, relative_to=relative_to, is_ignored_dir=is_ignored_dir + entry_path, + recursive=True, + relative_to=relative_to, + is_ignored_dir=is_ignored_dir, + is_ignored_file=is_ignored_file, ) files.extend(sub_files) directories.extend(sub_dirs)