Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/mlfqs-load-avg.c b/src/tests/threads/mlfqs-load-avg.c
index 1462a80eb3c9594d269f239e8e46f18d24281aaf..8ea4dd14a9243638f16dec6ffefde2b753a1f6a1 100644 (file)
--- a/src/tests/threads/mlfqs-load-avg.c
+++ b/src/tests/threads/mlfqs-load-avg.c
@@ -117,7 +117,7 @@ test_mlfqs_load_avg (void)
 {
   int i;
   
-  ASSERT (enable_mlfqs);
+  ASSERT (thread_mlfqs);
 
   start_time = timer_ticks ();
   msg ("Starting %d load threads...", THREAD_CNT);