diff options
Diffstat (limited to '3rdparty/genie/src/base/cmdline.lua')
-rw-r--r-- | 3rdparty/genie/src/base/cmdline.lua | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/3rdparty/genie/src/base/cmdline.lua b/3rdparty/genie/src/base/cmdline.lua index 6e135785a9c..c3357b702ae 100644 --- a/3rdparty/genie/src/base/cmdline.lua +++ b/3rdparty/genie/src/base/cmdline.lua @@ -89,7 +89,12 @@ newoption { + trigger = "debug-profiler", + description = "GENie script generation profiler." + } + + newoption + { trigger = "version", description = "Display version information" } - |