Small loader cleanups.

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

diff --git a/src/threads/thread.c b/src/threads/thread.c
index be607cfbe2273c8e065bffb2f775bf4865e0a432..218305c00a140384e20d2ffa42a9597b40970cf7 100644 (file)
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -197,7 +197,9 @@ void schedule_tail (struct thread *prev);
 void
 schedule_tail (struct thread *prev) 
 {
+#ifdef USERPROG
   struct thread *cur = thread_current ();
+#endif
 
   ASSERT (intr_get_level () == IF_OFF);