Searched refs:cache_file (Results 1 – 1 of 1) sorted by relevance
707 cache_file=/dev/null783 ac_prev=cache_file ;;786 cache_file=$ac_optarg ;;789 cache_file=config.cache ;;2127 if test -r "$cache_file"; then2130 if test /dev/null != "$cache_file" && test -f "$cache_file"; then2131 { $as_echo "$as_me:${as_lineno-$LINENO}: loading cache $cache_file" >&52132 $as_echo "$as_me: loading cache $cache_file" >&6;}2133 case $cache_file in2134 [\\/]* | ?:[\\/]* ) . "$cache_file";;[all …]
