Lines Matching refs:ProcessArgs
62 extern void ProcessArgs(int, char **, Opt *); 64 extern void ProcessArgs(); 682 ProcessArgs(argc-1, &(argv[1]), options); 1385 ProcessArgs( int argc, char **argv, Opt *options ) 1387 ProcessArgs( argc, argv, options ) 1394 require(argv!=NULL, "ProcessArgs: command line NULL");