diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2020-12-08 11:46:40 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2020-12-08 14:26:22 +0300 |
commit | 426035e6fb01f7dd3ea533e32f0efb0f6c1e0db1 (patch) | |
tree | 3fd6e4a8115f2f89e2f89ec74cc9cf1c2e757d31 /build2/b.cli | |
parent | a56c7a5d4e707e51fea407d44bd751426bfdc8f5 (diff) |
Add --options-file option
Diffstat (limited to 'build2/b.cli')
-rw-r--r-- | build2/b.cli | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/build2/b.cli b/build2/b.cli index a03e9cc..b54e9a5 100644 --- a/build2/b.cli +++ b/build2/b.cli @@ -639,6 +639,29 @@ namespace build2 specify multiple pager options." } + // The following option is "fake" in that it is actually handled by + // argv_file_scanner. We have it here for documentation. + // + string --options-file + { + "<file>", + "Read additional options from <file>. Each option should appear on a + separate line optionally followed by space or equal sign (\cb{=}) and + an option value. Empty lines and lines starting with \cb{#} are + ignored. Option values can be enclosed in double (\cb{\"}) or single + (\cb{'}) quotes to preserve leading and trailing whitespaces as well as + to specify empty values. If the value itself contains trailing or + leading quotes, enclose it with an extra pair of quotes, for example + \cb{'\"x\"'}. Non-leading and non-trailing quotes are interpreted as + being part of the option value. + + 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 + the shell escaping and quoting is not required. Repeat this option + to specify more than one options file." + } + dir_path --default-options { "<dir>", |