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 { |