Lines Matching refs:ac_cv_header_time
5603 if test "${ac_cv_header_time+set}" = set; then5647 ac_cv_header_time=yes5652 ac_cv_header_time=no5656 echo "$as_me:$LINENO: result: $ac_cv_header_time" >&55657 echo "${ECHO_T}$ac_cv_header_time" >&65658 if test $ac_cv_header_time = yes; then