From 754bbf7a25a8dda49b5d08ef0d0443bbf5af0e36 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Sun, 7 Apr 2024 13:41:34 -0500 Subject: new repository --- devdocs/bash/sharing-defaults.html | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 devdocs/bash/sharing-defaults.html (limited to 'devdocs/bash/sharing-defaults.html') 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 @@ +

Sharing Defaults

If you want to set default values for configure scripts to share, you can create a site shell script called config.site that gives default values for variables like CC, cache_file, and prefix. configure looks for PREFIX/share/config.site if it exists, then PREFIX/etc/config.site if it exists. Or, you can set the CONFIG_SITE environment variable to the location of the site script. A warning: the Bash configure looks for a site script, but not all configure scripts do.

+

+ Copyright © 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.
Licensed under the GNU Free Documentation License.
+ https://www.gnu.org/software/bash/manual/html_node/Sharing-Defaults.html +

+
-- cgit v1.2.3