Lines Matching refs:cache_file
694 cache_file=/dev/null
769 ac_prev=cache_file ;;
772 cache_file=$ac_optarg ;;
775 cache_file=config.cache ;;
1664 if test -r "$cache_file"; then
1667 if test -f "$cache_file"; then
1668 { echo "$as_me:$LINENO: loading cache $cache_file" >&5
1669 echo "$as_me: loading cache $cache_file" >&6;}
1670 case $cache_file in
1671 [\\/]* | ?:[\\/]* ) . "$cache_file";;
1672 *) . "./$cache_file";;
1676 { echo "$as_me:$LINENO: creating cache $cache_file" >&5
1677 echo "$as_me: creating cache $cache_file" >&6;}
1678 >$cache_file
1725 { { echo "$as_me:$LINENO: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
1726 echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
2813 if diff "$cache_file" confcache >/dev/null 2>&1; then :; else
2814 if test -w "$cache_file"; then
2815 test "x$cache_file" != "x/dev/null" &&
2816 { echo "$as_me:$LINENO: updating cache $cache_file" >&5
2817 echo "$as_me: updating cache $cache_file" >&6;}
2818 cat confcache >$cache_file
2820 { echo "$as_me:$LINENO: not updating unwritable cache $cache_file" >&5
2821 echo "$as_me: not updating unwritable cache $cache_file" >&6;}
3828 ac_prev=cache_file ;;
3969 case $cache_file in
3970 [\\/]* | ?:[\\/]* ) ac_sub_cache_file=$cache_file ;;
3972 ac_sub_cache_file=$ac_top_build_prefix$cache_file ;;