don't print if we're already printing to serial.

diff --git a/kernel/utility.c b/kernel/utility.c
index b2635ef7879f7fa8c97175c4c1c0b241c5a61360..03549c366edc044bcc97128d4b79cf994ac5ab56 100755 (executable)
--- a/kernel/utility.c
+++ b/kernel/utility.c
@@ -82,6 +82,7 @@ int c;                                        /* character to append */
       kmess.km_next = (kmess.km_next + 1) % _KMESS_BUF_SIZE;
   } else {
       int p, outprocs[] = OUTPUT_PROCS_ARRAY;
+      if(do_serial_debug) return;
       if(minix_panicing || do_serial_debug) return;
       for(p = 0; outprocs[p] != NONE; p++) {
         if(isokprocn(outprocs[p]) && !isemptyn(outprocs[p])) {