print an extra newline after a ^C

This commit is contained in:
Kelvin Sherlock 2019-03-19 19:17:26 -04:00
parent b9bab83d6a
commit 4974c36458

View File

@ -1458,7 +1458,8 @@ int debug_shell(int code) {
/* hit a BRK op */
}
if (code == RET_HALT) {
/* halt_printf */
/* halt_printf or ^C */
fputs("\n", stdout);
}