summaryrefslogtreecommitdiff
path: root/cli/options.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-06-20 13:13:12 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-06-20 13:13:12 +0200
commitce1681f2524e512f461a446ee5ca86adfe9116df (patch)
treef1fa78fd494a44dd7836cac4ea696e5601d7a4de /cli/options.cli
parentc5db2b9db6c8c707c745c5920a4179e6e6b2772c (diff)
Support suppressing CLI runtime generation (--suppress-cli)
This is useful in pure-help pages.
Diffstat (limited to 'cli/options.cli')
-rw-r--r--cli/options.cli8
1 files changed, 8 insertions, 0 deletions
diff --git a/cli/options.cli b/cli/options.cli
index aa353e1..a7e1cee 100644
--- a/cli/options.cli
+++ b/cli/options.cli
@@ -80,6 +80,14 @@ class options
made inline. This option suppresses creation of the inline file."
};
+ bool --suppress-cli
+ {
+ "Do not generate the CLI support types (scanners, parser, etc). Normally,
+ the support types are generated unless another \cb{.cli} was included,
+ in which case the support types are expected to be provided by its
+ generated code."
+ };
+
std::string --cli-namespace = "::cli"
{
"<ns>",