Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/priority-condvar.c b/src/tests/threads/priority-condvar.c
index 3e31081da6a9b673c2d0a933189e46cb0205e990..c1efb1bdee871759fb05b3ca5267bf24f7cd0a98 100644 (file)
--- a/src/tests/threads/priority-condvar.c
+++ b/src/tests/threads/priority-condvar.c
@@ -19,7 +19,7 @@ test_priority_condvar (void)
   int i;
   
   /* This test does not work with the MLFQS. */
-  ASSERT (!enable_mlfqs);
+  ASSERT (!thread_mlfqs);
 
   lock_init (&lock);
   cond_init (&condition);