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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure1338 ac_pwd=`pwd` && test -n "$ac_pwd" &&
1340 ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||
1389 if test "$ac_abs_confdir" = "$ac_pwd"; then
1576 { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1591 ac_abs_top_builddir=$ac_pwd
1592 ac_abs_builddir=$ac_pwd$ac_dir_suffix
1600 ac_abs_top_srcdir=$ac_pwd ;;
1608 ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
1623 cd "$ac_pwd" || { ac_statu
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure1378 ac_pwd=`pwd` && test -n "$ac_pwd" &&
1380 ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||
1429 if test "$ac_abs_confdir" = "$ac_pwd"; then
1600 { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1615 ac_abs_top_builddir=$ac_pwd
1616 ac_abs_builddir=$ac_pwd$ac_dir_suffix
1624 ac_abs_top_srcdir=$ac_pwd ;;
1632 ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
1647 cd "$ac_pwd" || { ac_statu
[all...]

Completed in 107 milliseconds