From 0335cb20218ca8c1cf2b9efeaeecec294a48a6a1 Mon Sep 17 00:00:00 2001
From: Hugo Guerrier <hugogguerrier@gmail.com>
Date: Tue, 3 Sep 2024 14:28:29 +0200
Subject: [PATCH] Correct auto configuration of GNATKP in the testsuite driver

---
 testsuite/drivers/gnatcheck_driver.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/testsuite/drivers/gnatcheck_driver.py b/testsuite/drivers/gnatcheck_driver.py
index 347b145b9..ccea17e8d 100644
--- a/testsuite/drivers/gnatcheck_driver.py
+++ b/testsuite/drivers/gnatcheck_driver.py
@@ -273,8 +273,8 @@ def run_one_test(test_data: dict[str, any]) -> None:
             # and target
             if exe == "gnatkp" and test_data.get('gnatkp_autoconfig', True):
                 if not self.is_codepeer:
-                    args.append(f"--target={self.env.build.platform}")
-                args.append("--RTS=native")
+                    args.append(f"--target={self.env.host.triplet}")
+                args.append("--RTS=default")
 
             # Set the codepeer target if needed
             if self.is_codepeer: