diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-08-08 07:23:51 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-08-10 09:47:28 +0200 |
| commit | cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f (patch) | |
| tree | 6fced3e0d1338c78413db14acefa99ba17c0b2c7 /src/grt/grt-main.adb | |
| parent | 258bbf955b78fd9838c23b1d3e36c8ce6f90f6cc (diff) | |
| download | ghdl-cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f.tar.gz ghdl-cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f.tar.bz2 ghdl-cc783ab03cf4b2f52fe68c29053dd4dfee9c5e5f.zip | |
Add support for --time-resolution (jit only). Fix #613
Diffstat (limited to 'src/grt/grt-main.adb')
| -rw-r--r-- | src/grt/grt-main.adb | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/grt/grt-main.adb b/src/grt/grt-main.adb index d50f8d7db..8a0f307b9 100644 --- a/src/grt/grt-main.adb +++ b/src/grt/grt-main.adb @@ -112,12 +112,6 @@ package body Grt.Main is -- They may insert hooks. Grt.Modules.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; - -- Decode options. Grt.Options.Decode (Stop); |