Add DEBUG() macro for debugging that can be turned on and off with a

[pintos-anon] / src / threads / interrupt.c

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 6945e0a2d6843089c9e8421bc1e987d5038dcc94..5227486f4212c3d6ccab71f1e998c39fbef9ec8c 100644 (file)
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -269,7 +269,7 @@ void
 intr_panic (struct intr_frame *regs) 
 {
   dump_intr_frame (regs);
-  panic ("Panic!");
+  PANIC ("Panic!");
 }
 
 void