Lines Matching refs:cache_file

153 cache_file=/dev/null
223     ac_prev=cache_file ;;
226     cache_file=$ac_optarg ;;
229     cache_file=config.cache ;;
1146   { { echo "$as_me:1146: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
1147 echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
29548 if cmp -s $cache_file confcache; then :; else
29549   if test -w $cache_file; then
29550     test "x$cache_file" != "x/dev/null" && echo "updating cache $cache_file"
29551     cat confcache >$cache_file
29553     echo "not updating unwritable cache $cache_file"