Merge branch 'topic/gnatkp_target_rts' into 'master'

Correct auto configuration of GNATKP in the testsuite driver See merge request eng/libadalang/langkit-query-language!285
AdaCore · Sep 4, 2024 · 14497d9 · 14497d9
2 parents 51e93de + 0335cb2
commit 14497d9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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: