From d54d1699b7c1241a4cb0faa7bc390323fa8eee8f Mon Sep 17 00:00:00 2001 From: Jan Kiszka Date: Fri, 16 Mar 2012 13:17:13 +0100 Subject: [PATCH] --- yaml --- r: 294663 b: refs/heads/master c: 9fbe465efc76044dd87afe764db5464ae61aeabc h: refs/heads/master i: 294661: 7297e82dcfbbd0492e3e0f1bdeeaa5c9597ce987 294659: 8b344a63b508109cdc2665bbe892832bbbdb8cfe 294655: ea89e9ecf2eb54f4da1fcf3627d6280b50e88ff6 v: v3 --- [refs] | 2 +- trunk/kernel/debug/gdbstub.c | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/[refs] b/[refs] index 196fea4a2311..e20d1eea5aed 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 639077fb69aec8112e5427210a83d0fb192969f0 +refs/heads/master: 9fbe465efc76044dd87afe764db5464ae61aeabc diff --git a/trunk/kernel/debug/gdbstub.c b/trunk/kernel/debug/gdbstub.c index c22d8c28ad84..5a155742ae96 100644 --- a/trunk/kernel/debug/gdbstub.c +++ b/trunk/kernel/debug/gdbstub.c @@ -1129,5 +1129,6 @@ void gdbstub_exit(int status) dbg_io_ops->write_char(hex_asc_lo(checksum)); /* make sure the output is flushed, lest the bootloader clobber it */ - dbg_io_ops->flush(); + if (dbg_io_ops->flush) + dbg_io_ops->flush(); }