Lines Matching refs:ac_cv_header_time
12888 if test "${ac_cv_header_time+set}" = set; then
12928 ac_cv_header_time=yes
12933 ac_cv_header_time=no
12938 { $as_echo "$as_me:$LINENO: result: $ac_cv_header_time" >&5
12939 $as_echo "$ac_cv_header_time" >&6; }
12940 if test $ac_cv_header_time = yes; then
