Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/priority-sema.c b/src/tests/threads/priority-sema.c
index d7eb9cc076cfbaf26f9a174ff1503dcdb24d6d1a..2834a880be25c92aa9989c6e3e828c13fb0fc107 100644 (file)
--- a/src/tests/threads/priority-sema.c
+++ b/src/tests/threads/priority-sema.c
@@ -18,7 +18,7 @@ test_priority_sema (void)
   int i;
   
   /* This test does not work with the MLFQS. */
-  ASSERT (!enable_mlfqs);
+  ASSERT (!thread_mlfqs);
 
   sema_init (&sema, 0);
   thread_set_priority (PRI_MIN);