Fix two bugs in the base Pintos code:

[pintos-anon] / src / tests / threads / priority-fifo.c

diff --git a/src/tests/threads/priority-fifo.c b/src/tests/threads/priority-fifo.c
index 2f891962ad4e0a796bdc1851da970c27c93af7dd..3af98a30ac217e7e7978c87ce1327771c42b10b7 100644 (file)
--- a/src/tests/threads/priority-fifo.c
+++ b/src/tests/threads/priority-fifo.c
@@ -37,7 +37,7 @@ test_priority_fifo (void)
   int i, cnt;
 
   /* This test does not work with the MLFQS. */
-  ASSERT (!enable_mlfqs);
+  ASSERT (!thread_mlfqs);
 
   /* Make sure our priority is the default. */
   ASSERT (thread_get_priority () == PRI_DEFAULT);