diff options
Diffstat (limited to 'src/grt/grt-options.adb')
| -rw-r--r-- | src/grt/grt-options.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index 2b07278b1..5c9c222f4 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -95,6 +95,7 @@ package body Grt.Options is P (" warning at the end of simulation"); -- P (" --threads=N use N threads for simulation"); P ("Additional features:"); + P (" -gNAME=VALUE override the generic NAME of the top unit"); P (" --has-feature=X test presence of feature X"); P (" --list-features display the list of features"); Grt.Hooks.Call_Help_Hooks; |