Skip to content

Commit a88bd01

Browse files
committed
Ensure the ADC file path is normalized
This is required to parse GNAT output later.
1 parent 0fd8bfc commit a88bd01

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

lkql_checker/src/lkql_checker-projects.adb

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1156,7 +1156,9 @@ package body Lkql_Checker.Projects is
11561156

11571157
Lkql_Checker.Projects.Set_Global_Result_Dirs (Checker_Prj);
11581158
Checker_Config_File :=
1159-
new String'(Global_Report_Dir.all & Checker_Config_File.all);
1159+
new String'
1160+
(Normalize_Pathname
1161+
(Global_Report_Dir.all & Checker_Config_File.all));
11601162

11611163
Analyze_Compiler_Output :=
11621164
Use_gnaty_Option

0 commit comments

Comments
 (0)