diff options
Diffstat (limited to 'devdocs/bash/sharing-defaults.html')
| -rw-r--r-- | devdocs/bash/sharing-defaults.html | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/devdocs/bash/sharing-defaults.html b/devdocs/bash/sharing-defaults.html deleted file mode 100644 index 88706604..00000000 --- a/devdocs/bash/sharing-defaults.html +++ /dev/null @@ -1,6 +0,0 @@ -<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> |