Searched refs:gl_cv_header_stdint_width (Results 1 – 2 of 2) sorted by relevance
329 [gl_cv_header_stdint_width],330 [gl_cv_header_stdint_width=no342 [gl_cv_header_stdint_width=yes])])343 if test "$gl_cv_header_stdint_width" = yes; then
15116 if ${gl_cv_header_stdint_width+:} false; then :15119 gl_cv_header_stdint_width=no15147 gl_cv_header_stdint_width=yes15151 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $gl_cv_header_stdint_width" >&515152 $as_echo "$gl_cv_header_stdint_width" >&6; }15153 if test "$gl_cv_header_stdint_width" = yes; then