Home | History | Annotate | Download | only in examples

Lines Matching refs:cache_file

661 cache_file=/dev/null
736     ac_prev=cache_file ;;
739     cache_file=$ac_optarg ;;
742     cache_file=config.cache ;;
1559 if test -r "$cache_file"; then
1562   if test -f "$cache_file"; then
1563     { echo "$as_me:$LINENO: loading cache $cache_file" >&5
1564 echo "$as_me: loading cache $cache_file" >&6;}
1565     case $cache_file in
1566       [\\/]* | ?:[\\/]* ) . "$cache_file";;
1567       *)                      . "./$cache_file";;
1571   { echo "$as_me:$LINENO: creating cache $cache_file" >&5
1572 echo "$as_me: creating cache $cache_file" >&6;}
1573   >$cache_file
1620   { { echo "$as_me:$LINENO: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
1621 echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
2502 if diff "$cache_file" confcache >/dev/null 2>&1; then :; else
2503   if test -w "$cache_file"; then
2504     test "x$cache_file" != "x/dev/null" &&
2505       { echo "$as_me:$LINENO: updating cache $cache_file" >&5
2506 echo "$as_me: updating cache $cache_file" >&6;}
2507     cat confcache >$cache_file
2509     { echo "$as_me:$LINENO: not updating unwritable cache $cache_file" >&5
2510 echo "$as_me: not updating unwritable cache $cache_file" >&6;}