From 48a1952cae26fa7c25176e7a707e3e965aa98fa7 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Fri, 22 Aug 2025 14:49:48 +0200 Subject: [PATCH] Set ignore_non_source_files=True in gather_source_files #519 --- src/serena/project.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/serena/project.py b/src/serena/project.py index 47559d9b..54f24d9b 100644 --- a/src/serena/project.py +++ b/src/serena/project.py @@ -191,7 +191,7 @@ class Project: for file in files: abs_file_path = os.path.join(root, file) try: - if not self.is_ignored_path(abs_file_path): + if not self.is_ignored_path(abs_file_path, ignore_non_source_files=True): try: rel_file_path = os.path.relpath(abs_file_path, start=self.project_root) except Exception as e: