Searched refs:cache_file (Results 1 – 2 of 2) sorted by relevance
827 cache_file=/dev/null902 ac_prev=cache_file ;;905 cache_file=$ac_optarg ;;908 cache_file=config.cache ;;17231 if test -w "$cache_file"; then17235 if test ! -f "$cache_file" || test -h "$cache_file"; then17236 cat confcache >"$cache_file"17238 case $cache_file in #(17240 mv -f confcache "$cache_file"$$ &&17241 mv -f "$cache_file"$$ "$cache_file" ;; #([all …]
172 default values for variables like `CC', `cache_file', and `prefix'.