Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/mlfqs-load-60.c b/src/tests/threads/mlfqs-load-60.c
index 81caa399e106235a5dc990cbb87cc91b8921a3cb..b6a3eb68cb4f2e761a081b6cdbf61704e9ba5bd5 100644 (file)
--- a/src/tests/threads/mlfqs-load-60.c
+++ b/src/tests/threads/mlfqs-load-60.c
@@ -116,7 +116,7 @@ test_mlfqs_load_60 (void)
 {
   int i;
   
-  ASSERT (enable_mlfqs);
+  ASSERT (thread_mlfqs);
 
   start_time = timer_ticks ();
   msg ("Starting %d niced load threads...", THREAD_CNT);