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 ;;
982 { { echo "$as_me:982: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
983 echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
7708 if cmp -s $cache_file confcache; then :; else
7709 if test -w $cache_file; then
7710 test "x$cache_file" != "x/dev/null" && echo "updating cache $cache_file"
7711 cat confcache >$cache_file
7713 echo "not updating unwritable cache $cache_file"