40 void ddb_main(int argc, char *argv[]);
68 		int argc = 0;  in ddb_readfile()  local
80 		argc++;  in ddb_readfile()
86 			argc++;  in ddb_readfile()
91 			printf("argc = %d\n", argc);  in ddb_readfile()
92 			for (i = 0; i < argc; i++) {  in ddb_readfile()
97 		ddb_main(argc, argv);  in ddb_readfile()
103 ddb_main(int argc, char *argv[])  in ddb_main()  argument
106 	if (argc < 1)  in ddb_main()
110 		ddb_capture(argc, argv);  in ddb_main()
112 		ddb_script(argc, argv);  in ddb_main()
114 		ddb_scripts(argc, argv);  in ddb_main()
116 		ddb_unscript(argc, argv);  in ddb_main()
122 main(int argc, char *argv[])  in main()  argument
129 	if (argc == 2 && argv[1][0] == '/' && access(argv[1], R_OK) == 0)  in main()
132 		ddb_main(argc-1, argv+1);  in main()