digit_optind      752 maint/gnulib/lib/getopt.c   int digit_optind = 0;
digit_optind      774 maint/gnulib/lib/getopt.c 	  if (digit_optind != 0 && digit_optind != this_option_optind)
digit_optind      776 maint/gnulib/lib/getopt.c 	  digit_optind = this_option_optind;
digit_optind       77 maint/gnulib/lib/getopt1.c   int digit_optind = 0;
digit_optind      118 maint/gnulib/lib/getopt1.c 	  if (digit_optind != 0 && digit_optind != this_option_optind)
digit_optind      120 maint/gnulib/lib/getopt1.c 	  digit_optind = this_option_optind;