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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure911 cache_file=/dev/null
988 ac_prev=cache_file ;;
991 cache_file=$ac_optarg ;;
994 cache_file=config.cache ;;
2644 if test -r "$cache_file"; then
2647 if test /dev/null != "$cache_file" && test -f "$cache_file"; then
2648 { $as_echo "$as_me:${as_lineno-$LINENO}: loading cache $cache_file" >&5
2649 $as_echo "$as_me: loading cache $cache_file" >&6;}
2650 case $cache_file i
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure871 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 i
[all...]

Completed in 63 milliseconds