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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2767 if ${ac_cv_build+:} false; then :
2775 ac_cv_build=`$SHELL "$ac_aux_dir/config.sub" $ac_build_alias` ||
2779 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_build" >&5
2780 $as_echo "$ac_cv_build" >&6; }
2781 case $ac_cv_build in
2785 build=$ac_cv_build
2787 set x $ac_cv_build
2805 ac_cv_host=$ac_cv_build
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure3578 if ${ac_cv_build+:} false; then :
3586 ac_cv_build=`$SHELL "$ac_aux_dir/config.sub" $ac_build_alias` ||
3590 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_build" >&5
3591 $as_echo "$ac_cv_build" >&6; }
3592 case $ac_cv_build in
3596 build=$ac_cv_build
3598 set x $ac_cv_build
3616 ac_cv_host=$ac_cv_build

Completed in 208 milliseconds