summaryrefslogtreecommitdiff
path: root/odb/options.ixx
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2010-05-07 11:06:00 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2010-05-07 11:06:00 +0200
commit2a758e9286d05a90edf71791bff493829085b098 (patch)
treef82cdbda5fec672866dbc6f3897604d30c5a29c9 /odb/options.ixx
parent0359a07a2e26bdd5f42e8a9cd51fc7cbbfc177a0 (diff)
Handle --version and --help
Also add the --proprietary license option.
Diffstat (limited to 'odb/options.ixx')
-rw-r--r--odb/options.ixx10
1 files changed, 8 insertions, 2 deletions
diff --git a/odb/options.ixx b/odb/options.ixx
index a511e0c..087a3ef 100644
--- a/odb/options.ixx
+++ b/odb/options.ixx
@@ -202,9 +202,9 @@ include_prefix () const
}
inline const bool& options::
-trace () const
+proprietary_license () const
{
- return this->trace_;
+ return this->proprietary_license_;
}
inline const std::string& options::
@@ -213,3 +213,9 @@ options_file () const
return this->options_file_;
}
+inline const bool& options::
+trace () const
+{
+ return this->trace_;
+}
+