discr1.ads: Compile with -gnatc instead of -gnatct.
authorEric Botcazou <ebotcazou@gcc.gnu.org>
Sun, 5 Jan 2020 16:02:53 +0000 (16:02 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Sun, 5 Jan 2020 16:02:53 +0000 (16:02 +0000)
* 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

gcc/testsuite/gnat.dg/specs/discr1.ads
gcc/testsuite/gnat.dg/specs/limited_with4.ads
gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads
gcc/testsuite/gnat.dg/specs/private1-sub.ads
gcc/testsuite/gnat.dg/specs/task1.ads

index 2e02076..1e01cbd 100644 (file)
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnatct" }
+-- { dg-options "-gnatc" }
 
 with Discr1_Pkg; use Discr1_Pkg;
 
index e182571..53fb676 100644 (file)
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnat12 -gnatct" }
+-- { dg-options "-gnatc" }
 
 with Ada.Containers.Vectors;
 with Limited_With4_Pkg;
index f69ab47..3d690bd 100644 (file)
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnat12 -gnatct" }
+-- { dg-options "-gnatc" }
 
 limited with Limited_With4;
 
index 0dcbbd0..ea70d4a 100644 (file)
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnatct" }
+-- { dg-options "-gnatc" }
 
 package Private1.Sub is
 
index c108d29..b1bd9a4 100644 (file)
@@ -1,5 +1,5 @@
 -- { dg-do compile }
--- { dg-options "-gnatct" }
+-- { dg-options "-gnatc" }
 
 package Task1 is