From 2a758e9286d05a90edf71791bff493829085b098 Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Fri, 7 May 2010 11:06:00 +0200 Subject: Handle --version and --help Also add the --proprietary license option. --- odb/options.cli | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'odb/options.cli') 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 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."}; }; -- cgit v1.1