X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2Fp1-2.c;fp=src%2Ftests%2Fthreads%2Fp1-2.c;h=e96f03c93bf14b7476e902092c78d020b5841222;hb=59385cfe7f0fc5a66dfc1da7c2e5b817edbcae65;hp=50a4fcfa803de0416a86f1e0433096b745df278f;hpb=78ee2ff83ef8787d0cfd74dafaca125c523ea0d0;p=pintos-anon

diff --git a/src/tests/threads/p1-2.c b/src/tests/threads/p1-2.c
index 50a4fcf..e96f03c 100644
--- a/src/tests/threads/p1-2.c
+++ b/src/tests/threads/p1-2.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 "threads/synch.h"
@@ -22,6 +18,9 @@ static void test_donate_return (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);