summaryrefslogtreecommitdiff
path: root/cli/options.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2009-12-10 10:50:23 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2009-12-10 10:50:23 +0200
commit74dfffa9df361e35a5910f1cf5b1734571bbef91 (patch)
tree72c4751da28efd20e2ddcf374842f359fad67faf /cli/options.cli
parent2dc2da5488ac32da8c6ff7cd0eeb5e1beb38c92f (diff)
Allows additional options to be provided in files (--options-file)
Implemented using the new argv_file_scanner scanner implementation.
Diffstat (limited to 'cli/options.cli')
-rw-r--r--cli/options.cli16
1 files changed, 16 insertions, 0 deletions
diff --git a/cli/options.cli b/cli/options.cli
index afd0f98..4cce297 100644
--- a/cli/options.cli
+++ b/cli/options.cli
@@ -198,4 +198,20 @@ class options
that should not be used as identifiers. If provided, the replacement
name is used instead. All C++ keywords are already in this list."
};
+
+ // This is a "fake" option in that it is actually handled by
+ // argv_file_scanner. We have it here to get the documentation.
+ //
+ std::string --options-file
+ {
+ "<file>",
+ "Read additional options from <file> with each option appearing on a
+ separate line optionally followed by space and an option value. Empty
+ lines and lines starting with \cb{#} are ignored. The semantics of
+ providing options in a file is equivalent to providing the same set
+ of options in the same order on the command line at the point where the
+ \cb{--options-file} option is specified except that shell escaping and
+ quoting is not required. Repeat this option to specify more than one
+ options files."
+ };
};