Lines Matching refs:cache_file
152 cache_file=/dev/null
222 ac_prev=cache_file ;;
225 cache_file=$ac_optarg ;;
228 cache_file=config.cache ;;
1025 { { echo "$as_me:1025: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
1026 echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
26154 if cmp -s $cache_file confcache; then :; else
26155 if test -w $cache_file; then
26156 test "x$cache_file" != "x/dev/null" && echo "updating cache $cache_file"
26157 cat confcache >$cache_file
26159 echo "not updating unwritable cache $cache_file"