Lines Matching refs:ac_cv_header_time
3929 if test "${ac_cv_header_time+set}" = set; then
3972 ac_cv_header_time=yes
3977 ac_cv_header_time=no
3981 echo "$as_me:$LINENO: result: $ac_cv_header_time" >&5
3982 echo "${ECHO_T}$ac_cv_header_time" >&6
3983 if test $ac_cv_header_time = yes; then
