Searched refs:cache_file (Results 1 – 1 of 1) sorted by relevance
867 cache_file=/dev/null944 ac_prev=cache_file ;;947 cache_file=$ac_optarg ;;950 cache_file=config.cache ;;2549 if test -r "$cache_file"; then2552 if test /dev/null != "$cache_file" && test -f "$cache_file"; then2555 case $cache_file in2563 >$cache_file15179 if test ! -f "$cache_file" || test -h "$cache_file"; then15180 cat confcache >"$cache_file"[all …]