Lines Matching refs:ac_cv_header_time
14083 if test "${ac_cv_header_time+set}" = set; then14139 ac_cv_header_time=yes14144 ac_cv_header_time=no14149 { echo "$as_me:$LINENO: result: $ac_cv_header_time" >&514150 echo "${ECHO_T}$ac_cv_header_time" >&6; }14151 if test $ac_cv_header_time = yes; then