From 3ab37f60a6361c9903551550c1e8a0e8e60faa56 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9o=20Creuse?= <creuse@adacore.com>
Date: Wed, 3 Apr 2024 13:26:14 +0200
Subject: [PATCH] gnattest/gnatcov integration Makefile: remove stale
 references to gnatcov_rts_full

---
 src/test-harness.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test-harness.adb b/src/test-harness.adb
index 8d6a30f1..e0d6612a 100755
--- 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");