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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure3603 if ${ac_cv_host+:} false; then :
3607 ac_cv_host=$ac_cv_build
3609 ac_cv_host=`$SHELL "$ac_aux_dir/config.sub" $host_alias` ||
3614 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_host" >&5
3615 $as_echo "$ac_cv_host" >&6; }
3616 case $ac_cv_host in
3620 host=$ac_cv_host
3622 set x $ac_cv_host

Completed in 113 milliseconds