aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-options.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/grt/grt-options.adb')
-rw-r--r--src/grt/grt-options.adb1
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;