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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2276 ac_header_preproc=yes
2278 ac_header_preproc=no
2281 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_header_preproc" >&5
2282 $as_echo "$ac_header_preproc" >&6; }
2285 case $ac_header_compiler:$ac_header_preproc:$ac_c_preproc_warn_flag in #((
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2123 ac_header_preproc=yes
2125 ac_header_preproc=no
2128 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_header_preproc" >&5
2129 $as_echo "$ac_header_preproc" >&6; }
2132 case $ac_header_compiler:$ac_header_preproc:$ac_c_preproc_warn_flag in #((

Completed in 96 milliseconds