From: Eric Botcazou <ebotcazou@gcc.gnu.org>
Date: Sun, 5 Jan 2020 16:02:53 +0000 (+0000)
Subject: discr1.ads: Compile with -gnatc instead of -gnatct.
X-Git-Tag: misc/cutover-git~164
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e9c6bb460b440029cf49641cd613d9bff08d299f;p=thirdparty%2Fgcc.git

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 2e0207675b85..1e01cbd6f14b 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 e182571f3359..53fb676470ac 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 f69ab47bab9b..3d690bde079c 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 0dcbbd0569c7..ea70d4a69249 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 c108d298faae..b1bd9a40b7c2 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