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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure3075 for am_try in 1 2; do
3092 if test "$2" = conftest.file || test $am_try -eq 2; then

Completed in 119 milliseconds