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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2075 ac_lo=0 ac_mid=0
2094 as_fn_arith $ac_mid + 1 && ac_lo=$as_val
2095 if test $ac_lo -le $ac_mid; then
2096 ac_lo= ac_hi=
2136 ac_lo=$ac_mid; break
2140 ac_lo= ac_hi=
2148 ac_lo= ac_hi=
2154 while test "x$ac_lo" != "x$ac_hi"; do
2155 as_fn_arith '(' $ac_hi - $ac_lo ')' / 2 + $ac_lo
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2383 ac_lo=0 ac_mid=0
2402 as_fn_arith $ac_mid + 1 && ac_lo=$as_val
2403 if test $ac_lo -le $ac_mid; then
2404 ac_lo= ac_hi=
2444 ac_lo=$ac_mid; break
2448 ac_lo= ac_hi=
2456 ac_lo= ac_hi=
2462 while test "x$ac_lo" != "x$ac_hi"; do
2463 as_fn_arith '(' $ac_hi - $ac_lo ')' / 2 + $ac_lo
[all...]

Completed in 57 milliseconds