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.ixx | |
parent | c5db2b9db6c8c707c745c5920a4179e6e6b2772c (diff) |
Support suppressing CLI runtime generation (--suppress-cli)
This is useful in pure-help pages.
Diffstat (limited to 'cli/options.ixx')
-rw-r--r-- | cli/options.ixx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/cli/options.ixx b/cli/options.ixx index f8ceadf..609d5a9 100644 --- a/cli/options.ixx +++ b/cli/options.ixx @@ -301,6 +301,12 @@ suppress_inline () const return this->suppress_inline_; } +inline const bool& options:: +suppress_cli () const +{ + return this->suppress_cli_; +} + inline const std::string& options:: cli_namespace () const { |