Searched refs:cache_file (Results 1 – 1 of 1) sorted by relevance
823 cache_file=/dev/null899 ac_prev=cache_file ;;902 cache_file=$ac_optarg ;;905 cache_file=config.cache ;;2459 if test -r "$cache_file"; then2462 if test /dev/null != "$cache_file" && test -f "$cache_file"; then2465 case $cache_file in2473 >$cache_file12249 if test ! -f "$cache_file" || test -h "$cache_file"; then12250 cat confcache >"$cache_file"[all …]