Lines Matching refs:cache_file
967 cache_file=/dev/null
1042 ac_prev=cache_file ;;
1045 cache_file=$ac_optarg ;;
1048 cache_file=config.cache ;;
1913 if test -r "$cache_file"; then
1916 if test -f "$cache_file"; then
1917 { echo "$as_me:$LINENO: loading cache $cache_file" >&5
1918 echo "$as_me: loading cache $cache_file" >&6;}
1919 case $cache_file in
1920 [\\/]* | ?:[\\/]* ) . "$cache_file";;
1921 *) . "./$cache_file";;
1925 { echo "$as_me:$LINENO: creating cache $cache_file" >&5
1926 echo "$as_me: creating cache $cache_file" >&6;}
1927 >$cache_file
1974 { { echo "$as_me:$LINENO: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
1975 echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
22779 if diff "$cache_file" confcache >/dev/null 2>&1; then :; else
22780 if test -w "$cache_file"; then
22781 test "x$cache_file" != "x/dev/null" &&
22782 { echo "$as_me:$LINENO: updating cache $cache_file" >&5
22783 echo "$as_me: updating cache $cache_file" >&6;}
22784 cat confcache >$cache_file
22786 { echo "$as_me:$LINENO: not updating unwritable cache $cache_file" >&5
22787 echo "$as_me: not updating unwritable cache $cache_file" >&6;}
