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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1388 ac_srcdir_defaulted=yes
1418 ac_srcdir_defaulted=no
1421 test "$ac_srcdir_defaulted" = yes && srcdir="$ac_confdir or .."
2901 if test ".$ac_srcdir_defaulted" != ".no" ; then
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1348 ac_srcdir_defaulted=yes
1378 ac_srcdir_defaulted=no
1381 test "$ac_srcdir_defaulted" = yes && srcdir="$ac_confdir or .."

Completed in 77 milliseconds