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/flags.ads | |
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/flags.ads')
-rw-r--r-- | src/flags.ads | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/flags.ads b/src/flags.ads index f9c0be2a1..3134c14de 100644 --- a/src/flags.ads +++ b/src/flags.ads @@ -122,18 +122,6 @@ package Flags is -- If set, performs VITAL checks. Flag_Vital_Checks : Boolean := True; - -- --time-resolution=X - -- Where X corresponds to: - -- fs => 'f' - -- ps => 'p' - -- ns => 'n' - -- us => 'u' - -- ms => 'm' - -- sec => 's' - -- min => 'M' - -- hr => 'h' - Time_Resolution: Character := 'f'; - -- Integer and time types can be either 32 bits or 64 bits values. -- The default is 32 bits for Integer and 64 bits for Time. -- Be very careful: if you don't use the default sizes, you may have to |