Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/priority-donate-nest.c b/src/tests/threads/priority-donate-nest.c
index 71cf8a9186db979a14ae224ccd809cf2f21754bf..3a3a9a590a2b677031524ad351f6e20e88216b8d 100644 (file)
--- a/src/tests/threads/priority-donate-nest.c
+++ b/src/tests/threads/priority-donate-nest.c
@@ -31,7 +31,7 @@ test_priority_donate_nest (void)
   struct locks locks;
 
   /* 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);