Move user exception support into userprog.
[pintos-anon] / src / threads / thread.c
index c9bc8ee2bb8c9fc75bfc799c10e615fd033a2fe3..d89edd6c8dcad5dcbe9cae5f21c2273c19be1f4d 100644 (file)
@@ -4,11 +4,13 @@
 #include "interrupt.h"
 #include "intr-stubs.h"
 #include "lib.h"
-#include "gdt.h"
 #include "mmu.h"
 #include "palloc.h"
 #include "random.h"
 #include "switch.h"
+#ifdef USERPROG
+#include "gdt.h"
+#endif
 
 #define THREAD_MAGIC 0x1234abcdu