Lines Matching refs:ac_cv_header_time
4256 if ${ac_cv_header_time+:} false; then :
4275 ac_cv_header_time=yes
4277 ac_cv_header_time=no
4281 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_header_time" >&5
4282 $as_echo "$ac_cv_header_time" >&6; }
4283 if test $ac_cv_header_time = yes; then
