Searched refs:cache_file (Results 1 – 1 of 1) sorted by relevance
783 cache_file=/dev/null859 ac_prev=cache_file ;;862 cache_file=$ac_optarg ;;865 cache_file=config.cache ;;2118 if test -r "$cache_file"; then2121 if test /dev/null != "$cache_file" && test -f "$cache_file"; then2124 case $cache_file in2132 >$cache_file11823 if test ! -f "$cache_file" || test -h "$cache_file"; then11824 cat confcache >"$cache_file"[all …]