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");