Searched refs:ac_cv_header_time (Results 1 – 3 of 3) sorted by relevance
92 ac_cv_header_time=no
13473 ac_cv_header_time=yes13475 ac_cv_header_time=no13479 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_header_time" >&513480 $as_echo "$ac_cv_header_time" >&6; }13481 if test $ac_cv_header_time = yes; then
5292 ac_cv_header_time=yes5294 ac_cv_header_time=no5298 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_header_time" >&55299 $as_echo "$ac_cv_header_time" >&6; }5300 if test $ac_cv_header_time = yes; then