Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/priority-donate-multiple2.c b/src/tests/threads/priority-donate-multiple2.c
index a9e0dd546cf25f93148b67d91e47a0a532b43998..7f65fefc8de03dd9d219da356df8aad44cc85216 100644 (file)
--- a/src/tests/threads/priority-donate-multiple2.c
+++ b/src/tests/threads/priority-donate-multiple2.c
@@ -30,7 +30,7 @@ test_priority_donate_multiple2 (void)
   struct lock a, b;
 
   /* 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);