Fix two bugs in the base Pintos code:

[pintos-anon] / src / tests / threads / mlfqs-block.c

diff --git a/src/tests/threads/mlfqs-block.c b/src/tests/threads/mlfqs-block.c
index 4e3fffa2f6dd6fa65d550b6c91abdd3925230d4b..6d4992da31866946e9d39e427f613d376616dc14 100644 (file)
--- a/src/tests/threads/mlfqs-block.c
+++ b/src/tests/threads/mlfqs-block.c
@@ -25,7 +25,7 @@ test_mlfqs_block (void)
   int64_t start_time;
   struct lock lock;
   
-  ASSERT (enable_mlfqs);
+  ASSERT (thread_mlfqs);
 
   msg ("Main thread acquiring lock.");
   lock_init (&lock);