Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/priority-donate-sema.c b/src/tests/threads/priority-donate-sema.c
index 89fd93d5c7d6c6bf15ae3e9fd85273d8b55b9c94..b33cb721ed77daa5c88df8f8995d22044a1a8f41 100644 (file)
--- a/src/tests/threads/priority-donate-sema.c
+++ b/src/tests/threads/priority-donate-sema.c
@@ -32,7 +32,7 @@ test_priority_donate_sema (void)
   struct lock_and_sema ls;
 
   /* 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);