Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/priority-donate-multiple.c b/src/tests/threads/priority-donate-multiple.c
index e1bccbdb4b567baef5c1767173ff9271aeda74c9..df4689cecc602a17bc6dfbe183dd23504a8970b1 100644 (file)
--- a/src/tests/threads/priority-donate-multiple.c
+++ b/src/tests/threads/priority-donate-multiple.c
@@ -24,7 +24,7 @@ test_priority_donate_multiple (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);