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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1565 for ac_dir in : $ac_subdirs_all; do test "x$ac_dir" = x: && continue
1566 test -d "$ac_dir" ||
1567 { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1571 case "$ac_dir" in
1574 ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
1603 cd "$ac_dir" || { ac_status=$?; continue; }
1612 $as_echo "$as_me: WARNING: no configuration information is in $ac_dir" >&2
2932 for ac_dir in "$srcdir" "$srcdir/.." "$srcdir/../.."; do
2933 if test -f "$ac_dir/instal
[all...]

Completed in 42 milliseconds