diff options
author | Arnaud Charlet <charlet@adacore.com> | 2015-11-12 12:00:56 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-12 13:00:56 +0100 |
commit | 95bcd2a700d3284d3606ddedf18eec22243c1239 (patch) | |
tree | df81795285fd0f55eadd887033fef7be91a57474 /gcc/ada/init.c | |
parent | d1915cb82c1319af3267e9617fd81ecbeef01a2c (diff) | |
download | gcc-95bcd2a700d3284d3606ddedf18eec22243c1239.zip gcc-95bcd2a700d3284d3606ddedf18eec22243c1239.tar.gz gcc-95bcd2a700d3284d3606ddedf18eec22243c1239.tar.bz2 |
switch-c.adb, [...]: Reserve -gnateg for generation of C headers.
2015-11-12 Arnaud Charlet <charlet@adacore.com>
* switch-c.adb, gnat1drv.adb, opt.ads: Reserve -gnateg for generation
of C headers.
From-SVN: r230248
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions