ada/gnatcoverage
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatcoverage.git synced 2026-02-12 12:44:55 -08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'eyraud/473' into 'master'

Browse Source 
Integrated instrumentation: fix test deactivation

See merge request eng/das/cov/gnatcoverage!1047

For eng/das/cov/gnatcoverage#473
This commit is contained in:
Matthieu Eyraud
2025-12-03 11:09:12 +01:00
parent eb6e929b82 d2a65836b2
commit ddf681cbc6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
testsuite/tests/integrated_instrumentation/extra.opt
View File

@@ -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