Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/priority-donate-one.c b/src/tests/threads/priority-donate-one.c
index 2a67b52e0960f99bbfba53ba757f8c2967b17cb4..3189f3a0b94a030290b286ea4a78623ddd5ea2e3 100644 (file)
--- a/src/tests/threads/priority-donate-one.c
+++ b/src/tests/threads/priority-donate-one.c
@@ -24,7 +24,7 @@ test_priority_donate_one (void)
   struct lock lock;
 
   /* 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);