aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-options.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2015-10-31 07:13:55 +0100
committerTristan Gingold <tgingold@free.fr>2015-10-31 07:13:55 +0100
commit15bc89b633b601dbc338041dc977494f6c38fc7f (patch)
tree7e474b94cff43e97e4056c037b3498053ef61146 /src/grt/grt-options.adb
parentce10f7dbd57cb5d2273567aa536bfce79620849c (diff)
downloadghdl-15bc89b633b601dbc338041dc977494f6c38fc7f.tar.gz
ghdl-15bc89b633b601dbc338041dc977494f6c38fc7f.tar.bz2
ghdl-15bc89b633b601dbc338041dc977494f6c38fc7f.zip
Rework --stop-time to not display a message if simulation is already finished.
Diffstat (limited to 'src/grt/grt-options.adb')
-rw-r--r--src/grt/grt-options.adb23
1 files changed, 0 insertions, 23 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb
index 806d77479..3c4acb215 100644
--- a/src/grt/grt-options.adb
+++ b/src/grt/grt-options.adb
@@ -22,12 +22,10 @@
-- covered by the GNU General Public License. This exception does not
-- however invalidate any other reasons why the executable file might be
-- covered by the GNU Public License.
-with System;
with Interfaces; use Interfaces;
with Grt.Errors; use Grt.Errors;
with Grt.Astdio;
with Grt.Hooks;
-with Grt.Callbacks;
package body Grt.Options is
@@ -221,16 +219,6 @@ package body Grt.Options is
end if;
end To_Lower;
- Stop_Time : Std_Time := Std_Time'First;
-
- procedure Stop_Time_Callback (Arg : System.Address)
- is
- pragma Unreferenced (Arg);
- begin
- Break_Simulation := True;
- Info ("simulation stopped by --stop-time");
- end Stop_Time_Callback;
-
procedure Decode_Option
(Option : String; Status : out Decode_Option_Status)
is
@@ -530,16 +518,5 @@ package body Grt.Options is
end case;
end;
end loop;
-
- if Stop_Time /= Std_Time'First then
- declare
- use Callbacks;
- Stop_Handle : Callback_Handle;
- begin
- Register_Callback_At
- (Hooks.Cb_After_Delay, Stop_Handle,
- Stop_Time, Stop_Time_Callback'Access);
- end;
- end if;
end Decode;
end Grt.Options;