40 void ddb_main(int argc, char *argv[]);
69 		char *argv[MAXARG];  in ddb_readfile()  local
77 		argv[0] = buf + spn;  in ddb_readfile()
78 		if (*argv[0] == '#' || *argv[0] == '\0')  in ddb_readfile()
82 		spn = strcspn(argv[0], WHITESP);  in ddb_readfile()
83 		argv[1] = argv[0] + spn + strspn(argv[0] + spn, WHITESP);  in ddb_readfile()
84 		argv[0][spn] = '\0';  in ddb_readfile()
85 		if (*argv[1] != '\0')  in ddb_readfile()
93 				printf("arg[%d] = %s\n", i, argv[i]);  in ddb_readfile()
97 		ddb_main(argc, argv);  in ddb_readfile()
103 ddb_main(int argc, char *argv[])  in ddb_main()  argument
109 	if (strcmp(argv[0], "capture") == 0)  in ddb_main()
110 		ddb_capture(argc, argv);  in ddb_main()
111 	else if (strcmp(argv[0], "script") == 0)  in ddb_main()
112 		ddb_script(argc, argv);  in ddb_main()
113 	else if (strcmp(argv[0], "scripts") == 0)  in ddb_main()
114 		ddb_scripts(argc, argv);  in ddb_main()
115 	else if (strcmp(argv[0], "unscript") == 0)  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()
130 		ddb_readfile(argv[1]);  in main()
132 		ddb_main(argc-1, argv+1);  in main()