Cross Reference: /src/tools/host-mkdep/configure

Lines Matching refs:cache_file
114 cache_file=/dev/null
182     ac_prev=cache_file ;;
185     cache_file=$ac_optarg ;;
188     cache_file=config.cache ;;
831 if test -r "$cache_file"; then
834   if test -f "$cache_file"; then
835     { echo "$as_me:835: loading cache $cache_file" >&5
836 echo "$as_me: loading cache $cache_file" >&6;}
837     case $cache_file in
838       [\\/]* | ?:[\\/]* ) . $cache_file;;
839       *)                      . ./$cache_file;;
843   { echo "$as_me:843: creating cache $cache_file" >&5
844 echo "$as_me: creating cache $cache_file" >&6;}
845   >$cache_file
894   { { echo "$as_me:894: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&5
895 echo "$as_me: error: run \`make distclean' and/or \`rm $cache_file' and start over" >&2;}
1949 if cmp -s $cache_file confcache; then :; else
1950   if test -w $cache_file; then
1951     test "x$cache_file" != "x/dev/null" && echo "updating cache $cache_file"
1952     cat confcache >$cache_file
1954     echo "not updating unwritable cache $cache_file"
OpenGrok
