r279889 - in /trunk/gcc/testsuite/gnat.dg/specs...

[ebotcazou@gcc.gnu.org]

Author: ebotcazou
Date: Sun Jan  5 16:02:53 2020
New Revision: 279889

URL: https://gcc.gnu.org/viewcvs?rev=279889&root=gcc&view=rev
Log:
	* 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.

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