Searched refs:cache_file (Results 1 – 1 of 1) sorted by relevance
806 cache_file=/dev/null882 ac_prev=cache_file ;;885 cache_file=$ac_optarg ;;888 cache_file=config.cache ;;2401 if test -r "$cache_file"; then2404 if test /dev/null != "$cache_file" && test -f "$cache_file"; then2407 case $cache_file in2415 >$cache_file8247 if test ! -f "$cache_file" || test -h "$cache_file"; then8248 cat confcache >"$cache_file"[all …]