Searched refs:cache_file (Results 1 – 2 of 2) sorted by relevance
2139 >$cache_file3931 if test ! -f "$cache_file" || test -h "$cache_file"; then3937 mv -f "$cache_file"$$ "$cache_file" ;; #(5088 if test ! -f "$cache_file" || test -h "$cache_file"; then5094 mv -f "$cache_file"$$ "$cache_file" ;; #(6246 if test ! -f "$cache_file" || test -h "$cache_file"; then6252 mv -f "$cache_file"$$ "$cache_file" ;; #(7405 if test ! -f "$cache_file" || test -h "$cache_file"; then7411 mv -f "$cache_file"$$ "$cache_file" ;; #(8571 mv -f "$cache_file"$$ "$cache_file" ;; #([all …]
871 cache_file=/dev/null947 ac_prev=cache_file ;;950 cache_file=$ac_optarg ;;953 cache_file=config.cache ;;2557 if test -r "$cache_file"; then2560 if test /dev/null != "$cache_file" && test -f "$cache_file"; then2563 case $cache_file in2571 >$cache_file17144 if test ! -f "$cache_file" || test -h "$cache_file"; then17145 cat confcache >"$cache_file"[all …]