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

diff --git a/gcc/testsuite/gnat.dg/specs/discr1.ads b/gcc/testsuite/gnat.dg/specs/discr1.ads
index 2e0207675b85f38f67ddb4a4d1bb1c8c19309333..1e01cbd6f14b8ef39d596840d77c48504003e8a3 100644 (file)
--- 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 e182571f3359398f5d0162e0bda6efd93d0c67ae..53fb676470ac2b227d0e9033feb35f52d63782a5 100644 (file)
--- 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 f69ab47bab9b0184fdd71e4d66032998433cc6e1..3d690bde079c6d0cf243da4ea0dd034729d48076 100644 (file)
--- 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 0dcbbd0569c70f3605aba909ffe7bdb0cd373a0e..ea70d4a69249e4a1e7fb48d3a03c8084f27359c5 100644 (file)
--- 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 c108d298faae87e6c82d7577d196a762613ab2a9..b1bd9a40b7c22910dae982b033b7bd7c0201863c 100644 (file)
--- 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