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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1390 ac_confdir=`$as_dirname -- "$as_myself" ||
1413 srcdir=$ac_confdir
1421 test "$ac_srcdir_defaulted" = yes && srcdir="$ac_confdir or .."
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1350 ac_confdir=`$as_dirname -- "$as_myself" ||
1373 srcdir=$ac_confdir
1381 test "$ac_srcdir_defaulted" = yes && srcdir="$ac_confdir or .."

Completed in 84 milliseconds