]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0088ba9) | patch
debug.adb: Reservation and documentation for -gnatd.G switch.
authorJohannes Kanig <kanig@adacore.com>
Thu, 11 Apr 2013 10:17:18 +0000 (10:17 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 11 Apr 2013 10:17:18 +0000 (12:17 +0200)
commit0213fb4e3c39b3fcb889252ea358cf5775a541dd
treed7cb3bee821cf19de72d6d13f05aedd55d412baftree
parent0088ba92b6bf944a69843de484a14be7c822713fcommit | diff
debug.adb: Reservation and documentation for -gnatd.G switch.

2013-04-11  Johannes Kanig  <kanig@adacore.com>

* debug.adb: Reservation and documentation for -gnatd.G switch.
* gnat1drv.adb (Adjust_Global_Switches) Take into account -gnatd.G
switch, and set ALI file generation accordingly.

From-SVN: r197757
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/debug.adb diff | blob | blame | history
gcc/ada/gnat1drv.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git