diff options
Diffstat (limited to 'devdocs/bash/sharing-defaults.html')
| -rw-r--r-- | devdocs/bash/sharing-defaults.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devdocs/bash/sharing-defaults.html b/devdocs/bash/sharing-defaults.html new file mode 100644 index 00000000..88706604 --- /dev/null +++ b/devdocs/bash/sharing-defaults.html @@ -0,0 +1,6 @@ +<h1 class="section">Sharing Defaults</h1> <p>If you want to set default values for <code>configure</code> scripts to share, you can create a site shell script called <code>config.site</code> that gives default values for variables like <code>CC</code>, <code>cache_file</code>, and <code>prefix</code>. <code>configure</code> looks for <samp>PREFIX/share/config.site</samp> if it exists, then <samp>PREFIX/etc/config.site</samp> if it exists. Or, you can set the <code>CONFIG_SITE</code> environment variable to the location of the site script. A warning: the Bash <code>configure</code> looks for a site script, but not all <code>configure</code> scripts do. </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/Sharing-Defaults.html" class="_attribution-link">https://www.gnu.org/software/bash/manual/html_node/Sharing-Defaults.html</a> + </p> +</div> |