diff options
Diffstat (limited to 'devdocs/bash/operation-controls.html')
| -rw-r--r-- | devdocs/bash/operation-controls.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/devdocs/bash/operation-controls.html b/devdocs/bash/operation-controls.html new file mode 100644 index 00000000..188425f2 --- /dev/null +++ b/devdocs/bash/operation-controls.html @@ -0,0 +1,10 @@ +<h1 class="section">Operation Controls</h1> <p><code>configure</code> recognizes the following options to control how it operates. </p> <dl compact> <dt><span><code>--cache-file=<var>file</var></code></span></dt> <dd> +<p>Use and save the results of the tests in <var>file</var> instead of <samp>./config.cache</samp>. Set <var>file</var> to <samp>/dev/null</samp> to disable caching, for debugging <code>configure</code>. </p> </dd> <dt><span><code>--help</code></span></dt> <dd> +<p>Print a summary of the options to <code>configure</code>, and exit. </p> </dd> <dt><span><code>--quiet</code></span></dt> <dt><span><code>--silent</code></span></dt> <dt><span><code>-q</code></span></dt> <dd> +<p>Do not print messages saying which checks are being made. </p> </dd> <dt><span><code>--srcdir=<var>dir</var></code></span></dt> <dd> +<p>Look for the Bash source code in directory <var>dir</var>. Usually <code>configure</code> can determine that directory automatically. </p> </dd> <dt><span><code>--version</code></span></dt> <dd><p>Print the version of Autoconf used to generate the <code>configure</code> script, and exit. </p></dd> </dl> <p><code>configure</code> also accepts some other, not widely used, boilerplate options. ‘<samp>configure --help</samp>’ prints the complete list. </p><div class="_attribution"> + <p class="_attribution-p"> + Copyright © 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.<br>Licensed under the GNU Free Documentation License.<br> + <a href="https://www.gnu.org/software/bash/manual/html_node/Operation-Controls.html" class="_attribution-link">https://www.gnu.org/software/bash/manual/html_node/Operation-Controls.html</a> + </p> +</div> |
