X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Fthreads%2Fpriority-fifo.c;h=01cc7a7737071f2878c818aad360bf6948d700e5;hb=05a5604be6df472e30d2495d3187259da2e380b8;hp=6f8fa9b73a21eaff7c16e6a43690f67ab184a0d2;hpb=6dff7eabf12b453182b85e280b99044dd1367fae;p=pintos-anon

diff --git a/grading/threads/priority-fifo.c b/grading/threads/priority-fifo.c
index 6f8fa9b..01cc7a7 100644
--- a/grading/threads/priority-fifo.c
+++ b/grading/threads/priority-fifo.c
@@ -6,10 +6,6 @@
    <gmh@leland.stanford.edu>, Yu Ping Hu <yph@cs.stanford.edu>.
    Modified by arens. */
 
-#ifdef MLFQS
-#error This test not applicable with MLFQS enabled.
-#endif
-
 #include "threads/test.h"
 #include <stdio.h>
 #include "devices/timer.h"
@@ -22,6 +18,9 @@ static void test_fifo (void);
 void
 test (void) 
 {
+  /* This test does not work with the MLFQS. */
+  ASSERT (!enable_mlfqs);
+
   /* Make sure our priority is the default. */
   ASSERT (thread_get_priority () == PRI_DEFAULT);