projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44e1918) | patch
debug.adb: Document that -gnatdA automatically sets -gnatR3m
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 8 Dec 2004 11:26:04 +0000 (12:26 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 8 Dec 2004 11:26:04 +0000 (12:26 +0100)
commita4c1cd80655ef876d7f8ff5944999492647ebab5
tree461af9a85521ad1dce6fbd6b3325059ef733bae5tree
parent44e1918abd19b6012e27acc89c85230797a2fc79commit | diff
debug.adb: Document that -gnatdA automatically sets -gnatR3m

* debug.adb: Document that -gnatdA automatically sets -gnatR3m

* gnat1drv.adb (Gnat1drv): If debug flag A set, then automatically
set -gnatR3m mode.

* repinfo.adb (List_Rep_Info): Remove special handling of -gnatdA
flag. No longer needed now that we handle this in gnat1drv.adb.

* repinfo.ads: Minor reformatting

From-SVN: r91878
gcc/ada/debug.adb diff | blob | history
gcc/ada/gnat1drv.adb diff | blob | history
gcc/ada/repinfo.adb diff | blob | history
gcc/ada/repinfo.ads diff | blob | history