Skip to content

Commit 08e7887

Browse files
committed
Remove the 'Set_Default_Target' procedure
We don't want to defaultly use the "codepeer" target anymore if there is another one available.
1 parent 78cc2aa commit 08e7887

File tree

3 files changed

+0
-17
lines changed

3 files changed

+0
-17
lines changed

lkql_checker/src/gnatcheck-projects.adb

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -797,17 +797,6 @@ package body Gnatcheck.Projects is
797797
GPR2.Project.Registry.Pack.Check_Attributes (+"Check");
798798
end Register_Tool_Attributes;
799799

800-
------------------------
801-
-- Set_Default_Target --
802-
------------------------
803-
804-
procedure Set_Default_Target is
805-
begin
806-
if not Gnatkp_Mode and then Should_Use_Codepeer_Target then
807-
GPR2.KB.Set_Default_Target ("codepeer");
808-
end if;
809-
end Set_Default_Target;
810-
811800
-------------------------
812801
-- Set_External_Values --
813802
-------------------------

lkql_checker/src/gnatcheck-projects.ads

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -324,10 +324,6 @@ package Gnatcheck.Projects is
324324
-- General project file processing --
325325
-------------------------------------
326326

327-
procedure Set_Default_Target;
328-
-- If codepeer is on PATH, replaces default target with "codepeer",
329-
-- does nothing in gnatkp mode.
330-
331327
procedure Initialize_Environment;
332328
-- Initializes the environment for extracting the information from the
333329
-- project file. This includes setting the parameters specific for the

lkql_checker/src/gnatcheck_main.adb

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -462,8 +462,6 @@ begin
462462
end if;
463463
end if;
464464

465-
Gnatcheck.Projects.Set_Default_Target;
466-
467465
-- If we have the project file specified as a tool parameter, analyze it.
468466

469467
Gnatcheck.Projects.Process_Project_File (Gnatcheck_Prj);

0 commit comments

Comments
 (0)