Searched refs:ac_cv_header_time (Results 1 – 3 of 3) sorted by relevance
92 ac_cv_header_time=no
13446 ac_cv_header_time=yes13448 ac_cv_header_time=no13452 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_header_time" >&513453 $as_echo "$ac_cv_header_time" >&6; }13454 if test $ac_cv_header_time = yes; then
5080 ac_cv_header_time=yes5082 ac_cv_header_time=no5086 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_header_time" >&55087 $as_echo "$ac_cv_header_time" >&6; }5088 if test $ac_cv_header_time = yes; then