diff options
| author | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2020-01-05 16:02:53 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2020-01-05 16:02:53 +0000 |
| commit | e9c6bb460b440029cf49641cd613d9bff08d299f (patch) | |
| tree | ac5d2c6f1102afdade25de14fa57c90ab5016974 /gcc/tree-inline.c | |
| parent | 53cfd9360dd828a57905474fcf3116108420d512 (diff) | |
| download | gcc-e9c6bb460b440029cf49641cd613d9bff08d299f.zip gcc-e9c6bb460b440029cf49641cd613d9bff08d299f.tar.gz gcc-e9c6bb460b440029cf49641cd613d9bff08d299f.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-inline.c')
0 files changed, 0 insertions, 0 deletions