From e12fbc9e0fd83631bf8258404ecd671b720f753e Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Thu, 25 Oct 2001 23:53:04 +0000 Subject: [PATCH] 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 | 5 +++++ gcc/ada/restrict.adb | 1 + 2 files changed, 6 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b581007ecc9..b94b7516cdc 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2001-10-25 Robert Dewar + + * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default + in no run time mode. + 2001-10-25 Pascal Obry * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 05140887a98..a72bf71d5c7 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -378,6 +378,7 @@ package body Restrict is begin No_Run_Time := True; Restrictions (No_Exception_Handlers) := True; + Opt.Global_Discard_Names := True; end Set_No_Run_Time_Mode; ------------------- -- 2.30.2