Searched refs:cache_file (Results 1 – 1 of 1) sorted by relevance
880 cache_file=/dev/null956 ac_prev=cache_file ;;959 cache_file=$ac_optarg ;;962 cache_file=config.cache ;;2707 if test -r "$cache_file"; then2710 if test /dev/null != "$cache_file" && test -f "$cache_file"; then2713 case $cache_file in2721 >$cache_file20999 if test ! -f "$cache_file" || test -h "$cache_file"; then21000 cat confcache >"$cache_file"[all …]