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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2160 ac_header_preproc=yes
2162 ac_header_preproc=no
2165 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_header_preproc" >&5
2166 $as_echo "$ac_header_preproc" >&6; }
2169 case $ac_header_compiler:$ac_header_preproc:$ac_c_preproc_warn_flag in #((

Completed in 127 milliseconds