Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/configure

871 cache_file=/dev/null
948     ac_prev=cache_file ;;
951     cache_file=$ac_optarg ;;
954     cache_file=config.cache ;;
2853 if test -r "$cache_file"; then
2856   if test /dev/null != "$cache_file" && test -f "$cache_file"; then
2857     { $as_echo "$as_me:${as_lineno-$LINENO}: loading cache $cache_file" >&5
2858 $as_echo "$as_me: loading cache $cache_file" >&6;}
2859     case $cache_file in
2860       [\\/]* | ?:[\\/]* ) . "$cache_file";;
2861       *)                      . "./$cache_file";;
2865   { $as_echo "$as_me:${as_lineno-$LINENO}: creating cache $cache_file" >&5
2866 $as_echo "$as_me: creating cache $cache_file" >&6;}
2867   >$cache_file
2925   as_fn_error $? "run \`make distclean' and/or \`rm $cache_file' and start over" "$LINENO" 5
22567 if diff "$cache_file" confcache >/dev/null 2>&1; then :; else
22568   if test -w "$cache_file"; then
22569     if test "x$cache_file" != "x/dev/null"; then
22570       { $as_echo "$as_me:${as_lineno-$LINENO}: updating cache $cache_file" >&5
22571 $as_echo "$as_me: updating cache $cache_file" >&6;}
22572       if test ! -f "$cache_file" || test -h "$cache_file"; then
22573 	cat confcache >"$cache_file"
22575         case $cache_file in #(
22577 	  mv -f confcache "$cache_file"$$ &&
22578 	  mv -f "$cache_file"$$ "$cache_file" ;; #(
22580 	  mv -f confcache "$cache_file" ;;
22585     { $as_echo "$as_me:${as_lineno-$LINENO}: not updating unwritable cache $cache_file" >&5
22586 $as_echo "$as_me: not updating unwritable cache $cache_file" >&6;}
25155       ac_prev=cache_file ;;
25262       case $cache_file in
25263       [\\/]* | ?:[\\/]* ) ac_sub_cache_file=$cache_file ;;
25265 	ac_sub_cache_file=$ac_top_build_prefix$cache_file ;;