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