Skip to content

Commit 04be133

Browse files
committed
Disable the new GPR2 warning when compiler drivers are missing
gnatcov already takes care of emitting fatal errors in that case, so the new warning only adds noise: disable it (like all GPR tools seem to do anyway...). (cherry picked from commit 7366636)
1 parent 5bb1cd5 commit 04be133

File tree

2 files changed

+4
-2
lines changed

2 files changed

+4
-2
lines changed

tools/gnatcov/project.adb

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1312,7 +1312,8 @@ package body Project is
13121312
With_Runtime => True,
13131313
Reporter => Create_Reporter,
13141314
Artifacts_Info_Level => GPR2.Sources_Units,
1315-
Absent_Dir_Error => GPR2.No_Error)
1315+
Absent_Dir_Error => GPR2.No_Error,
1316+
Check_Drivers => False)
13161317
then
13171318
Fatal_Error ("Could not load the project file, aborting.");
13181319
end if;

tools/gnatcov/setup_rts.adb

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -237,7 +237,8 @@ package body Setup_RTS is
237237
then GPR2.Reporter.Regular
238238
else GPR2.Reporter.No_Warnings)),
239239
With_Runtime => True,
240-
Absent_Dir_Error => GPR2.No_Error);
240+
Absent_Dir_Error => GPR2.No_Error,
241+
Check_Drivers => False);
241242
end Load_Project;
242243

243244
-----------

0 commit comments

Comments
 (0)