|
|
| |
# Let the site file select an alternate cache file if it wants to. | # Let the site file select an alternate cache file if it wants to. |
# Prefer explicitly selected file to automatically selected ones. | # Prefer explicitly selected file to automatically selected ones. |
if test -n "$CONFIG_SITE"; then |
if test -z "$CONFIG_SITE"; then |
set x "$CONFIG_SITE" |
if test "x$prefix" != xNONE; then |
elif test "x$prefix" != xNONE; then |
CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site" |
set x "$prefix/share/config.site" "$prefix/etc/config.site" |
else |
else |
CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site" |
set x "$ac_default_prefix/share/config.site" \ |
fi |
"$ac_default_prefix/etc/config.site" |
|
fi | fi |
shift |
for ac_site_file in $CONFIG_SITE; do |
for ac_site_file |
|
do |
|
if test -r "$ac_site_file"; then | if test -r "$ac_site_file"; then |
{ echo "$as_me:$LINENO: loading site script $ac_site_file" >&5 | { echo "$as_me:$LINENO: loading site script $ac_site_file" >&5 |
echo "$as_me: loading site script $ac_site_file" >&6;} | echo "$as_me: loading site script $ac_site_file" >&6;} |