Searched refs:while_command (Results 1 – 3 of 3) sorted by relevance
34 extern void while_command (char *arg, int from_tty);
1162 add_com ("while", class_support, while_command, in init_cli_cmds()
443 while_command (char *arg, int from_tty) in while_command() function