switch-c.adb, [...]: Reserve -gnateg for generation of C headers.
authorArnaud Charlet <charlet@adacore.com>
Thu, 12 Nov 2015 12:00:56 +0000 (12:00 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 12 Nov 2015 12:00:56 +0000 (13:00 +0100)
commit95bcd2a700d3284d3606ddedf18eec22243c1239
treedf81795285fd0f55eadd887033fef7be91a57474
parentd1915cb82c1319af3267e9617fd81ecbeef01a2c
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
gcc/ada/ChangeLog
gcc/ada/gnat1drv.adb
gcc/ada/opt.ads
gcc/ada/switch-c.adb