Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/mlfqs-recent-1.c b/src/tests/threads/mlfqs-recent-1.c
index c217f837f4e3f573429b9d1870c1d4c2fb992e6b..670b00cb05ba0180ad1729b8d441c9c952477944 100644 (file)
--- a/src/tests/threads/mlfqs-recent-1.c
+++ b/src/tests/threads/mlfqs-recent-1.c
@@ -112,7 +112,7 @@ test_mlfqs_recent_1 (void)
   int64_t start_time;
   int last_elapsed = 0;
   
-  ASSERT (enable_mlfqs);
+  ASSERT (thread_mlfqs);
 
   msg ("Sleeping 10 seconds to allow recent_cpu to decay, please wait...");
   start_time = timer_ticks ();