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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure4101 if ${ac_cv_objext+:} false; then :
4131 *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
4144 rm -f conftest.$ac_cv_objext conftest.$ac_ext
4146 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_objext" >&5
4147 $as_echo "$ac_cv_objext" >&6; }
4148 OBJEXT=$ac_cv_objext
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure4489 if ${ac_cv_objext+:} false; then :
4519 *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
4532 rm -f conftest.$ac_cv_objext conftest.$ac_ext
4534 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_objext" >&5
4535 $as_echo "$ac_cv_objext" >&6; }
4536 OBJEXT=$ac_cv_objext

Completed in 66 milliseconds