OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

discr1.ads: Compile with -gnatc instead of -gnatct.

Browse Source 
* 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
This commit is contained in:
Eric Botcazou 2020-01-05 16:02:53 +00:00
parent 53cfd9360d
commit e9c6bb460b
5 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/testsuite/gnat.dg/specs/discr1.ads
View File

@ -1,5 +1,5 @@
-- { dg-do compile }
-- { dg-options "-gnatct" }
-- { dg-options "-gnatc" }
with Discr1_Pkg; use Discr1_Pkg;

2
gcc/testsuite/gnat.dg/specs/limited_with4.ads
View File

@ -1,5 +1,5 @@
-- { dg-do compile }
-- { dg-options "-gnat12 -gnatct" }
-- { dg-options "-gnatc" }
with Ada.Containers.Vectors;
with Limited_With4_Pkg;

2
gcc/testsuite/gnat.dg/specs/limited_with4_pkg.ads
View File

@ -1,5 +1,5 @@
-- { dg-do compile }
-- { dg-options "-gnat12 -gnatct" }
-- { dg-options "-gnatc" }
limited with Limited_With4;

2
gcc/testsuite/gnat.dg/specs/private1-sub.ads
View File

@ -1,5 +1,5 @@
-- { dg-do compile }
-- { dg-options "-gnatct" }
-- { dg-options "-gnatc" }
package Private1.Sub is

2
gcc/testsuite/gnat.dg/specs/task1.ads
View File

@ -1,5 +1,5 @@
-- { dg-do compile }
-- { dg-options "-gnatct" }
-- { dg-options "-gnatc" }
package Task1 is