Lines Matching refs:Getopt
1324 /* Values for Getopt.flags */
1329 /* Values for Getopt.info */
1346 } Getopt;
1348 EXTERN Getopt builtin_opt; /* for shell builtin commands */
1349 EXTERN Getopt user_opt; /* parsing state for getopts builtin command */
1605 Getopt getopts_state;
2287 void ksh_getopt_reset(Getopt *, int);
2288 int ksh_getopt(const char **, Getopt *, const char *);