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-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e9c6bb460b440029cf49641cd613d9bff08d299f;p=gcc.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 2e0207675b8..1e01cbd6f14 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 e182571f335..53fb676470a 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 f69ab47bab9..3d690bde079 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 0dcbbd0569c..ea70d4a6924 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 c108d298faa..b1bd9a40b7c 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