From d2a65836b2e5011e53d8697e649abaefbabbab01 Mon Sep 17 00:00:00 2001 From: Matthieu Eyraud Date: Wed, 3 Dec 2025 10:25:24 +0100 Subject: [PATCH] Integrated instrumentation: fix test deactivation --- testsuite/tests/integrated_instrumentation/extra.opt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testsuite/tests/integrated_instrumentation/extra.opt b/testsuite/tests/integrated_instrumentation/extra.opt index a97947972..4445a9aef 100644 --- a/testsuite/tests/integrated_instrumentation/extra.opt +++ b/testsuite/tests/integrated_instrumentation/extra.opt @@ -2,4 +2,4 @@ windows DEAD Integrated instrumentation tested on linux bin-traces DEAD Integrated instrumentation only work with source traces 5.04a1 DEAD Object files produced by GNAT 5.04 cannot be merged with ld -r 7.1.2 DEAD GNAT 7.1.2 does not provide a static version of libgcc -arm-elf The testsuite does not support the arm-elf BSP +arm-elf DEAD The testsuite does not support the arm-elf BSP