diff options
Diffstat (limited to 'translate/grt/grt-options.adb')
| -rw-r--r-- | translate/grt/grt-options.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/translate/grt/grt-options.adb b/translate/grt/grt-options.adb index 138c31d..29e8a8c 100644 --- a/translate/grt/grt-options.adb +++ b/translate/grt/grt-options.adb @@ -152,8 +152,9 @@ package body Grt.Options is P (" --stop-time=X stop the simulation at time X"); P (" X is expressed as a time value, without spaces: 1ns, ps..."); P (" --stop-delta=X stop the simulation cycle after X delta"); - P (" --disp-tree[=KIND] disp the design hierarchy after elaboration"); - P (" KIND is inst, proc, port (default)"); + -- P (" --disp-tree[=KIND] disp the design hierarchy after elaboration"); + -- P (" KIND is inst, proc, port (default)"); + -- --disp-tree from grt-disp_tree.adb via Grt.Hooks.Call_Help_Hooks; P (" --expect-failure invert exit status"); P (" --stack-size=X set the stack size of non-sensitized processes"); P (" --stack-max-size=X set the maximum stack size"); |