Parse command-line options much earlier, so that thread_mlfqs is

[pintos-anon] / src / lib / kernel / debug.c

diff --git a/src/lib/kernel/debug.c b/src/lib/kernel/debug.c
index f6fb9dde1c4bb7090b72c051f8a4e7733f3fb08a..93c395208068801dcdbca3b4dffbec7b64c74712 100644 (file)
--- a/src/lib/kernel/debug.c
+++ b/src/lib/kernel/debug.c
@@ -1,4 +1,5 @@
 #include <debug.h>
+#include <console.h>
 #include <stdarg.h>
 #include <stdbool.h>
 #include <stddef.h>
@@ -18,6 +19,7 @@ debug_panic (const char *file, int line, const char *function,
   va_list args;
 
   intr_disable ();
+  console_panic ();
 
   level++;
   if (level == 1)