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
This commit is contained in:
Robert Dewar 2001-10-25 23:53:04 +00:00 committed by Geert Bosch
parent 52b804888b
commit e12fbc9e0f
2 changed files with 6 additions and 0 deletions

View 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

View 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;
-------------------