diff options
| author | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2020-01-05 16:02:53 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2020-01-05 16:02:53 +0000 |
| commit | e9c6bb460b440029cf49641cd613d9bff08d299f (patch) | |
| tree | ac5d2c6f1102afdade25de14fa57c90ab5016974 | |
| parent | 53cfd9360dd828a57905474fcf3116108420d512 (diff) | |
| download | gcc-e9c6bb460b440029cf49641cd613d9bff08d299f.zip gcc-e9c6bb460b440029cf49641cd613d9bff08d299f.tar.gz gcc-e9c6bb460b440029cf49641cd613d9bff08d299f.tar.bz2 | |
discr1.ads: Compile with -gnatc instead of -gnatct.
* gnat.dg/specs/discr1.ads: Compile with -gnatc instead of -gnatct.
* gnat.dg/specs/limited_with4.ads: Likewise.
* gnat.dg/specs/limited_with4_pkg.ads: Likewise.
* gnat.dg/specs/private1-sub.ads: Likewise.
* gnat.dg/specs/task1.ads: Likewise.
From-SVN: r279889
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/discr1.ads | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/limited_with4.ads | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/private1-sub.ads | 2 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/task1.ads | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/gcc/testsuite/gnat.dg/specs/discr1.ads b/gcc/testsuite/gnat.dg/specs/discr1.ads index 2e02076..1e01cbd 100644 --- a/gcc/testsuite/gnat.dg/specs/discr1.ads +++ b/gcc/testsuite/gnat.dg/specs/discr1.ads @@ -1,5 +1,5 @@ -- { dg-do compile } --- { dg-options "-gnatct" } +-- { dg-options "-gnatc" } with Discr1_Pkg; use Discr1_Pkg; diff --git a/gcc/testsuite/gnat.dg/specs/limited_with4.ads b/gcc/testsuite/gnat.dg/specs/limited_with4.ads index e182571..53fb676 100644 --- a/gcc/testsuite/gnat.dg/specs/limited_with4.ads +++ b/gcc/testsuite/gnat.dg/specs/limited_with4.ads @@ -1,5 +1,5 @@ -- { dg-do compile } --- { dg-options "-gnat12 -gnatct" } +-- { dg-options "-gnatc" } with Ada.Containers.Vectors; with Limited_With4_Pkg; diff --git a/gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads b/gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads index f69ab47..3d690bd 100644 --- a/gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads +++ b/gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads @@ -1,5 +1,5 @@ -- { dg-do compile } --- { dg-options "-gnat12 -gnatct" } +-- { dg-options "-gnatc" } limited with Limited_With4; diff --git a/gcc/testsuite/gnat.dg/specs/private1-sub.ads b/gcc/testsuite/gnat.dg/specs/private1-sub.ads index 0dcbbd0..ea70d4a 100644 --- a/gcc/testsuite/gnat.dg/specs/private1-sub.ads +++ b/gcc/testsuite/gnat.dg/specs/private1-sub.ads @@ -1,5 +1,5 @@ -- { dg-do compile } --- { dg-options "-gnatct" } +-- { dg-options "-gnatc" } package Private1.Sub is diff --git a/gcc/testsuite/gnat.dg/specs/task1.ads b/gcc/testsuite/gnat.dg/specs/task1.ads index c108d29..b1bd9a4 100644 --- a/gcc/testsuite/gnat.dg/specs/task1.ads +++ b/gcc/testsuite/gnat.dg/specs/task1.ads @@ -1,5 +1,5 @@ -- { dg-do compile } --- { dg-options "-gnatct" } +-- { dg-options "-gnatc" } package Task1 is |