Searched defs:digit_optind (Results 1 - 4 of 4) sorted by relevance

/osnet-11/usr/src/grub/grub2/grub-core/gnulib/
H A Dgetopt1.c90 int digit_optind = 0;
131 if (digit_optind != 0 && digit_optind != this_option_optind)
133 digit_optind = this_option_optind;
88 int digit_optind = 0; local
H A Dgetopt.c1138 int digit_optind = 0;
1160 if (digit_optind != 0 && digit_optind != this_option_optind)
1162 digit_optind = this_option_optind;
1133 int digit_optind = 0; local
/osnet-11/usr/src/grub/grub-0.97/lib/
H A Dgetopt1.c110 int digit_optind = 0;
151 if (digit_optind != 0 && digit_optind != this_option_optind)
153 digit_optind = this_option_optind;
108 int digit_optind = 0; local
H A Dgetopt.c999 int digit_optind = 0;
1021 if (digit_optind != 0 && digit_optind != this_option_optind)
1023 digit_optind = this_option_optind;
994 int digit_optind = 0; local

Completed in 28 milliseconds