Merge branch 'leo/161_gcvrt_update' into 'master'

gnattest/gnatcov integration Makefile: remove stale references to gnatcov_rts_full See merge request eng/ide/libadalang-tools!201
AdaCore · Apr 3, 2024 · 3d292d9 · 3d292d9
2 parents 24c8a04 + 3ab37f6
commit 3d292d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test-harness.adb b/src/test-harness.adb
@@ -4238,7 +4238,7 @@ package body Test.Harness is
       if not Target_Native then
          S_Put (0, "inst-coverage: BUILDERFLAGS+="
                 & "--implicit-with=$(if $(GNATCOV_RTS),$(GNATCOV_RTS),"
-                & "gnatcov_rts_full.gpr)");
+                & "gnatcov_rts.gpr)");
          Put_New_Line;
       end if;
       S_Put (0, "inst-coverage: gnatcov-consolidate");