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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure5061 as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh`
5062 ac_fn_c_check_header_compile "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default
5064 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18489 as_ac_Header=`$as_echo "ac_cv_header_dirent_$ac_hdr" | $as_tr_sh`
18492 if eval \${$as_ac_Header+:} false; then :
18510 eval "$as_ac_Header=yes"
18512 eval "$as_ac_Header=no"
18516 eval ac_res=\$$as_ac_Header
18519 if eval test \"x\$"$as_ac_Header"\" = x"yes"; then :
18800 as_ac_Header
[all...]

Completed in 100 milliseconds