diff options
-rw-r--r-- | kernel/debug/gdbstub.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/debug/gdbstub.c b/kernel/debug/gdbstub.c index c22d8c28ad84..5a155742ae96 100644 --- a/kernel/debug/gdbstub.c +++ b/kernel/debug/gdbstub.c | |||
@@ -1129,5 +1129,6 @@ void gdbstub_exit(int status) | |||
1129 | dbg_io_ops->write_char(hex_asc_lo(checksum)); | 1129 | dbg_io_ops->write_char(hex_asc_lo(checksum)); |
1130 | 1130 | ||
1131 | /* make sure the output is flushed, lest the bootloader clobber it */ | 1131 | /* make sure the output is flushed, lest the bootloader clobber it */ |
1132 | dbg_io_ops->flush(); | 1132 | if (dbg_io_ops->flush) |
1133 | dbg_io_ops->flush(); | ||
1133 | } | 1134 | } |