diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-06-20 13:13:12 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-06-20 13:13:12 +0200 |
commit | ce1681f2524e512f461a446ee5ca86adfe9116df (patch) | |
tree | f1fa78fd494a44dd7836cac4ea696e5601d7a4de /cli/options.hxx | |
parent | c5db2b9db6c8c707c745c5920a4179e6e6b2772c (diff) |
Support suppressing CLI runtime generation (--suppress-cli)
This is useful in pure-help pages.
Diffstat (limited to 'cli/options.hxx')
-rw-r--r-- | cli/options.hxx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cli/options.hxx b/cli/options.hxx index 5e6ae8c..ed54bb2 100644 --- a/cli/options.hxx +++ b/cli/options.hxx @@ -438,6 +438,9 @@ class options const bool& suppress_inline () const; + const bool& + suppress_cli () const; + const std::string& cli_namespace () const; @@ -796,6 +799,7 @@ class options bool generate_file_scanner_; bool generate_vector_scanner_; bool suppress_inline_; + bool suppress_cli_; std::string cli_namespace_; bool cli_namespace_specified_; std::string ostream_type_; |