Fix two bugs in the base Pintos code:

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

diff --git a/src/tests/threads/mlfqs-load-1.c b/src/tests/threads/mlfqs-load-1.c
index da9972949112f6c84204899b792922fa8d6ffa7f..6b230aa730c15be5ba708a990639a3910f1a6ffe 100644 (file)
--- a/src/tests/threads/mlfqs-load-1.c
+++ b/src/tests/threads/mlfqs-load-1.c
@@ -21,7 +21,7 @@ test_mlfqs_load_1 (void)
   int elapsed;
   int load_avg;
   
-  ASSERT (enable_mlfqs);
+  ASSERT (thread_mlfqs);
 
   msg ("spinning for up to 45 seconds, please wait...");