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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1560 ac_status=$?
1603 cd "$ac_dir" || { ac_status=$?; continue; }
1613 fi || ac_status=$?
1614 cd "$ac_pwd" || { ac_status=$?; break; }
1618 test -n "$ac_init_help" && exit $ac_status
1650 ac_status=$?
1656 $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
1657 test $ac_status = 0; } && {
1733 ac_status=$?
1739 $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >
[all...]

Completed in 46 milliseconds