Searched refs:cache_file (Results 1 – 4 of 4) sorted by relevance
1682 if test -r "$cache_file"; then1685 if test /dev/null != "$cache_file" && test -f "$cache_file"; then1688 case $cache_file in1696 >$cache_file2380 if test -w "$cache_file"; then2384 if test ! -f "$cache_file" || test -h "$cache_file"; then2385 cat confcache >"$cache_file"2387 case $cache_file in #(2390 mv -f "$cache_file"$$ "$cache_file" ;; #(2392 mv -f confcache "$cache_file" ;;[all …]
1666 if test -r "$cache_file"; then1669 if test /dev/null != "$cache_file" && test -f "$cache_file"; then1672 case $cache_file in1680 >$cache_file2333 if test -w "$cache_file"; then2337 if test ! -f "$cache_file" || test -h "$cache_file"; then2338 cat confcache >"$cache_file"2340 case $cache_file in #(2342 mv -f confcache "$cache_file"$$ &&2343 mv -f "$cache_file"$$ "$cache_file" ;; #([all …]
1760 if test -r "$cache_file"; then1763 if test /dev/null != "$cache_file" && test -f "$cache_file"; then1766 case $cache_file in1774 >$cache_file3772 if test -w "$cache_file"; then3776 if test ! -f "$cache_file" || test -h "$cache_file"; then3777 cat confcache >"$cache_file"3779 case $cache_file in #(3781 mv -f confcache "$cache_file"$$ &&3782 mv -f "$cache_file"$$ "$cache_file" ;; #([all …]
874 cache_file=/dev/null951 ac_prev=cache_file ;;954 cache_file=$ac_optarg ;;957 cache_file=config.cache ;;2363 if test -r "$cache_file"; then2366 if test /dev/null != "$cache_file" && test -f "$cache_file"; then2369 case $cache_file in2377 >$cache_file10093 if test ! -f "$cache_file" || test -h "$cache_file"; then10094 cat confcache >"$cache_file"[all …]
Completed in 83 milliseconds