Skip to content

Commit 7b11447

Browse files
HugoGGuerrierHugoGGuerrier
committed
Remove tests about target providing for the GNATcheck driver
Move those tests in the GNATcheck testsuite that is run nightly with the GNATSAS target.
1 parent cc2dc41 commit 7b11447

File tree

12 files changed

+0
-173
lines changed

12 files changed

+0
-173
lines changed

‎testsuite/tests/gnatcheck/target/codepeer/config.cgpr‎

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎testsuite/tests/gnatcheck/target/codepeer/main.adb‎

Lines changed: 0 additions & 5 deletions
This file was deleted.

‎testsuite/tests/gnatcheck/target/codepeer/test.out‎

Lines changed: 0 additions & 34 deletions
This file was deleted.

‎testsuite/tests/gnatcheck/target/codepeer/test.yaml‎

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎testsuite/tests/gnatcheck/target/codepeer/with_target.gpr‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎testsuite/tests/gnatcheck/target/codepeer/without_target.gpr‎

Lines changed: 0 additions & 2 deletions
This file was deleted.

‎testsuite/tests/gnatcheck/target/linux/config.cgpr‎

Lines changed: 0 additions & 25 deletions
This file was deleted.

‎testsuite/tests/gnatcheck/target/linux/main.adb‎

Lines changed: 0 additions & 5 deletions
This file was deleted.

‎testsuite/tests/gnatcheck/target/linux/test.out‎

Lines changed: 0 additions & 23 deletions
This file was deleted.

‎testsuite/tests/gnatcheck/target/linux/test.yaml‎

Lines changed: 0 additions & 21 deletions
This file was deleted.

0 commit comments

Comments
 (0)