Searched refs:cache_file (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure865 cache_file=/dev/null
942 ac_prev=cache_file ;;
945 cache_file=$ac_optarg ;;
948 cache_file=config.cache ;;
2844 if test -r "$cache_file"; then
2847 if test /dev/null != "$cache_file" && test -f "$cache_file"; then
2848 { $as_echo "$as_me:${as_lineno-$LINENO}: loading cache $cache_file" >&5
2849 $as_echo "$as_me: loading cache $cache_file" >&6;}
2850 case $cache_file i
[all...]

Completed in 41 milliseconds