Searched refs:END_MESSAGE (Results 1 – 1 of 1) sorted by relevance
1198 #define END_MESSAGE "End with a line saying just \"end\"." macro1212 END_MESSAGE); in read_command_lines()1216 printf_unfiltered ("%s\n%s\n", prompt_arg, END_MESSAGE); in read_command_lines()