From 78ab8626e56e5a38a841bb6eb1607831155ea81f Mon Sep 17 00:00:00 2001 From: Hugo Guerrier Date: Tue, 15 Oct 2024 11:41:36 +0200 Subject: [PATCH] Add the GNATcheck reporter when calling GPR2 for aggregated projects --- lkql_checker/src/gnatcheck-projects.adb | 1 + 1 file changed, 1 insertion(+) diff --git a/lkql_checker/src/gnatcheck-projects.adb b/lkql_checker/src/gnatcheck-projects.adb index 88dab1ff2..eff063422 100644 --- a/lkql_checker/src/gnatcheck-projects.adb +++ b/lkql_checker/src/gnatcheck-projects.adb @@ -424,6 +424,7 @@ package body Gnatcheck.Projects is end loop; if not My_Project.Tree.Load (Project_Options, + Reporter => Gpr2_Reporter, With_Runtime => True, Config => Conf_Obj) then