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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure3918 ac_link_default=`$as_echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'`
3933 if { { ac_try="$ac_link_default"
3940 (eval "$ac_link_default") 2>&5
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure4306 ac_link_default=`$as_echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'`
4321 if { { ac_try="$ac_link_default"
4328 (eval "$ac_link_default") 2>&5

Completed in 102 milliseconds