summaryrefslogtreecommitdiff
path: root/doc/cli.xhtml
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 /doc/cli.xhtml
parent2dc2da5488ac32da8c6ff7cd0eeb5e1beb38c92f (diff)
Allows additional options to be provided in files (--options-file)
Implemented using the new argv_file_scanner scanner implementation.
Diffstat (limited to 'doc/cli.xhtml')
-rw-r--r--doc/cli.xhtml10
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/cli.xhtml b/doc/cli.xhtml
index 3389c77..3a09c96 100644
--- a/doc/cli.xhtml
+++ b/doc/cli.xhtml
@@ -204,6 +204,16 @@
that should not be used as identifiers. If provided, the replacement name is
used instead. All C++ keywords are already in this list.</dd>
+ <dt><code><b>--options-file</b></code> <i>file</i></dt>
+ <dd>Read additional options from <i>file</i> with each option appearing on a
+ separate line optionally followed by space and an option value. Empty lines
+ and lines starting with <code><b>#</b></code> 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
+ <code><b>--options-file</b></code> option is specified except that shell
+ escaping and quoting is not required. Repeat this option to specify more
+ than one options files.</dd>
+
</dl>
<h1>DIAGNOSTICS</h1>