From afd7e8916fa2fc744acdf3cfcb0d7ed63b381fed Mon Sep 17 00:00:00 2001 From: gusthoff Date: Sun, 8 Jun 2025 12:39:08 +0200 Subject: [PATCH] Test script: fix setting main file for SPARK project Do not set the filename in case of no main file. --- frontend/py_modules/code_projects/extract_projects.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/frontend/py_modules/code_projects/extract_projects.py b/frontend/py_modules/code_projects/extract_projects.py index cdd5ddfe..c12d4ff6 100755 --- a/frontend/py_modules/code_projects/extract_projects.py +++ b/frontend/py_modules/code_projects/extract_projects.py @@ -365,7 +365,8 @@ def analyze_file(rst_file, extracted_projects_list_file=None): if block.language == "ada": - block.project_main_file = get_main_filename(block) + if block.run_it: + block.project_main_file = get_main_filename(block) block.spark_project_filename = write_project_file(block.project_main_file, block.compiler_switches, spark_mode=True)