HomeSort by: relevance | last modified time | path
    Searched refs:gl_cv_header_stdint_width (Results 1 - 2 of 2) sorted by relevancy

  /src/external/gpl3/gdb.old/dist/gnulib/
configure 15116 if ${gl_cv_header_stdint_width+:} false; then :
15119 gl_cv_header_stdint_width=no
15147 gl_cv_header_stdint_width=yes
15151 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $gl_cv_header_stdint_width" >&5
15152 $as_echo "$gl_cv_header_stdint_width" >&6; }
15153 if test "$gl_cv_header_stdint_width" = yes; then
  /src/external/gpl3/gdb/dist/gnulib/
configure 15113 if ${gl_cv_header_stdint_width+:} false; then :
15116 gl_cv_header_stdint_width=no
15144 gl_cv_header_stdint_width=yes
15148 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $gl_cv_header_stdint_width" >&5
15149 $as_echo "$gl_cv_header_stdint_width" >&6; }
15150 if test "$gl_cv_header_stdint_width" = yes; then

Completed in 39 milliseconds