Lines Matching refs:ac_cv_header_time
3488 if ${ac_cv_header_time+:} false; then :
3507 ac_cv_header_time=yes
3509 ac_cv_header_time=no
3513 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_header_time" >&5
3514 $as_echo "$ac_cv_header_time" >&6; }
3515 if test $ac_cv_header_time = yes; then
