1335640Shselasky/*
2335640Shselasky * Header for the getopt() we supply if the platform doesn't supply it.
3335640Shselasky */
4335640Shselaskyextern char *optarg;			/* getopt(3) external variables */
5335640Shselaskyextern int optind, opterr, optreset, optopt;
6335640Shselasky
7335640Shselaskyextern int getopt(int nargc, char * const *nargv, const char *ostr);
8