diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-05-07 11:06:00 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-05-07 11:06:00 +0200 |
commit | 2a758e9286d05a90edf71791bff493829085b098 (patch) | |
tree | f82cdbda5fec672866dbc6f3897604d30c5a29c9 /odb/options.cli | |
parent | 0359a07a2e26bdd5f42e8a9cd51fc7cbbfc177a0 (diff) |
Handle --version and --help
Also add the --proprietary license option.
Diffstat (limited to 'odb/options.cli')
-rw-r--r-- | odb/options.cli | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/odb/options.cli b/odb/options.cli index 19c3b4c..0418eb5 100644 --- a/odb/options.cli +++ b/odb/options.cli @@ -64,7 +64,11 @@ class options "Add <prefix> to the generated \cb{#include} directive paths." }; - bool --trace {"Trace the compilation process."}; + bool --proprietary-license + { + "Indicate that the generated code is licensed under a proprietary + license instead of the GPL." + }; // This is a "fake" option in that it is actually handled by // argv_file_scanner. We have it here to get the documentation. @@ -81,4 +85,6 @@ class options quoting is not required. Repeat this option to specify more than one options files." }; + + bool --trace {"Trace the compilation process."}; }; |