OSDN Git Service

* restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
authorbosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 25 Oct 2001 23:53:04 +0000 (23:53 +0000)
committerbosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 25 Oct 2001 23:53:04 +0000 (23:53 +0000)
in no run time mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46507 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/ChangeLog
gcc/ada/restrict.adb

index b581007..b94b751 100644 (file)
@@ -1,3 +1,8 @@
+2001-10-25  Robert Dewar <dewar@gnat.com>
+
+       * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default 
+       in no run time mode.
+
 2001-10-25  Pascal Obry <obry@gnat.com>
 
        * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet 
index 0514088..a72bf71 100644 (file)
@@ -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;
 
    -------------------