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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure4573 ac_test_CFLAGS=${CFLAGS+set}
4638 if test "$ac_test_CFLAGS" = set; then
17265 ac_test_CFLAGS=${CFLAGS+set}
17330 if test "$ac_test_CFLAGS" = set; then
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure4185 ac_test_CFLAGS=${CFLAGS+set}
4250 if test "$ac_test_CFLAGS" = set; then
16587 if test "$ac_test_CFLAGS" != "set"; then

Completed in 70 milliseconds