diff options
Diffstat (limited to 'translate/grt/grt-main.adb')
| -rw-r--r-- | translate/grt/grt-main.adb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/translate/grt/grt-main.adb b/translate/grt/grt-main.adb index 99ac86c..fa56046 100644 --- a/translate/grt/grt-main.adb +++ b/translate/grt/grt-main.adb @@ -99,6 +99,8 @@ package body Grt.Main is begin Register_Modules; + -- If the time resolution is to be set by the user, select a default + -- resolution. Options may override it. if Flag_String (5) = '?' then Set_Time_Resolution ('n'); end if; @@ -122,7 +124,10 @@ package body Grt.Main is Grt.Signals.Init; if Flag_Stats then - Grt.Errors.Ghdl_Exit_Cb1 := Disp_Stats_Hook'Access; + if Boolean'(False) then + -- Replaced by Setjump/Longjump. + Grt.Errors.Ghdl_Exit_Cb1 := Disp_Stats_Hook'Access; + end if; Stats.Start_Elaboration; end if; |