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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2834 if ${ac_cv_target+:} false; then :
2838 ac_cv_target=$ac_cv_host
2840 ac_cv_target=`$SHELL "$ac_aux_dir/config.sub" $target_alias` ||
2845 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_target" >&5
2846 $as_echo "$ac_cv_target" >&6; }
2847 case $ac_cv_target in
2851 target=$ac_cv_target
2853 set x $ac_cv_target

Completed in 35 milliseconds