]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52b8048) | patch
restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default in no run time...
authorRobert Dewar <dewar@gnat.com>
Thu, 25 Oct 2001 23:53:04 +0000 (23:53 +0000)
committerGeert Bosch <bosch@gcc.gnu.org>
Thu, 25 Oct 2001 23:53:04 +0000 (01:53 +0200)
commite12fbc9e0fd83631bf8258404ecd671b720f753e
tree43f8492180db7f957790c615ed91f67a02770deetree
parent52b804888bf0d45a1db49565c5e4694e6e3b6813commit | diff
restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default in no run time mode.

* restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
in no run time mode.

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