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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure3572 ac_build_alias=$build_alias
3573 test "x$ac_build_alias" = x &&
3574 ac_build_alias=`$SHELL "$ac_aux_dir/config.guess"`
3575 test "x$ac_build_alias" = x &&
3577 ac_cv_build=`$SHELL "$ac_aux_dir/config.sub" $ac_build_alias` ||
3578 as_fn_error $? "$SHELL $ac_aux_dir/config.sub $ac_build_alias failed" "$LINENO" 5

Completed in 63 milliseconds