Skip to content

Commit fa01356

Browse files
committed
Merge branch 'topic/fix_aggregated_reporter' into 'master'
Add the GNATcheck reporter when calling GPR2 for aggregated projects Closes #366 See merge request eng/libadalang/langkit-query-language!306
2 parents 63ef8ee + 78ab862 commit fa01356

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

lkql_checker/src/gnatcheck-projects.adb

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -424,6 +424,7 @@ package body Gnatcheck.Projects is
424424
end loop;
425425

426426
if not My_Project.Tree.Load (Project_Options,
427+
Reporter => Gpr2_Reporter,
427428
With_Runtime => True,
428429
Config => Conf_Obj)
429430
then

0 commit comments

Comments
 (0)