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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2801 if ${ac_cv_host+:} false; then :
2805 ac_cv_host=$ac_cv_build
2807 ac_cv_host=`$SHELL "$ac_aux_dir/config.sub" $host_alias` ||
2812 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_host" >&5
2813 $as_echo "$ac_cv_host" >&6; }
2814 case $ac_cv_host in
2818 host=$ac_cv_host
2820 set x $ac_cv_host
2838 ac_cv_target=$ac_cv_host
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure3612 if ${ac_cv_host+:} false; then :
3616 ac_cv_host=$ac_cv_build
3618 ac_cv_host=`$SHELL "$ac_aux_dir/config.sub" $host_alias` ||
3623 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_host" >&5
3624 $as_echo "$ac_cv_host" >&6; }
3625 case $ac_cv_host in
3629 host=$ac_cv_host
3631 set x $ac_cv_host

Completed in 61 milliseconds