X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Frandom.inc;h=895b65884694b41061b79996093add1fa49d1550;hb=e2c971e67570e30eaae1ee16db2e0efe8c13cd75;hp=59f52f23d900df3027e460e9809dfa05aaf9c36f;hpb=5db27be45b12cc35feb6f1de19861d180e5620fe;p=pintos-anon

diff --git a/grading/filesys/random.inc b/grading/filesys/random.inc
index 59f52f2..895b658 100644
--- a/grading/filesys/random.inc
+++ b/grading/filesys/random.inc
@@ -28,8 +28,8 @@ test_main (void)
   for (i = 0; i < BLOCK_CNT; i++)
     order[i] = i;
 
-  check (create (filename, TEST_SIZE), "create \"%s\"", filename);
-  check ((fd = open (filename)) > 1, "open \"%s\"", filename);
+  CHECK (create (filename, TEST_SIZE), "create \"%s\"", filename);
+  CHECK ((fd = open (filename)) > 1, "open \"%s\"", filename);
 
   msg ("write \"%s\" in random order", filename);
   shuffle (order, BLOCK_CNT, sizeof *order);