Merge branch 'eyraud/fix_regr' into 'master'

Jugst3r · Jugst3r · commit c14ef65c9e40 · 2023-10-25T13:59:21.000Z
no-unknown-warning: kill test under 5.04a1

See merge request eng/cov/gnatcoverage!302

Ref: eng/cov/gnatcoverage#144
diff --git a/testsuite/tests/instr-cov/144-no-unknown-warning/test.opt b/testsuite/tests/instr-cov/144-no-unknown-warning/test.opt
@@ -0,0 +1 @@
+5.04a1 DEAD Compilation option (-Wtrampolines) unsupported by GNAT 5.04

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+5.04a1 DEAD Compilation option (-Wtrampolines) unsupported by GNAT 5.04`