From da2f9b22c410620e4822b1f4cb0afa52d30f59ac Mon Sep 17 00:00:00 2001
From: Amir Keivan Mohtashami <akmohtashami@users.noreply.github.com>
Date: Mon, 10 Aug 2026 16:03:51 +0200
Subject: [PATCH] avoid name of non-code files to be included in binary name

---
 cms/grading/tasktypes/Batch.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cms/grading/tasktypes/Batch.py b/cms/grading/tasktypes/Batch.py
index 9de82c823d..66ebd21001 100644
--- a/cms/grading/tasktypes/Batch.py
+++ b/cms/grading/tasktypes/Batch.py
@@ -195,7 +195,7 @@ def _executable_filename(codenames: Iterable[str], language: Language) -> str:
 
         """
         name = "_".join(sorted(codename.replace(".%l", "")
-                               for codename in codenames))
+                               for codename in codenames if codename.endswith(".%l")))
         return name + language.executable_extension
 
     def _do_compile(self, job: CompilationJob, file_cacher: FileCacher):