Merge branch 'leo/setup_shared_fixup' into 'master'

leocreuse · leocreuse · commit 557109208c43 · 2023-11-22T14:41:44.000Z
Tests/152-shared_setup: kill test for older toolchains

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

The 7.1.2 and 5.04a1 toolchains are not shipped with either a light nor a ZFP runtime, so do not run the test when using them.

Part of eng/das/cov/gnatcoverage#152
diff --git a/testsuite/tests/152-shared_setup/test.opt b/testsuite/tests/152-shared_setup/test.opt
@@ -1 +1,3 @@
 !native DEAD Test requires both shared lib support and available light runtime
+7.1.2 DEAD Light runtime not provided by this toolchain
+5.04a1 DEAD Light runtime not provided by this toolchain

Original file line number	Diff line number	Diff line change
`@@ -1 +1,3 @@`
`1`	`1`	`!native DEAD Test requires both shared lib support and available light runtime`
	`2`	`+7.1.2 DEAD Light runtime not provided by this toolchain`
	`3`	`+5.04a1 DEAD Light runtime not provided by this toolchain`