X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Ffilesys%2Fgrow-two-files.c;h=e4b890464a67402c3f69230fae62e6045c2ff2bf;hb=654121cfc127bc8e1e9aa8859c2d68f0dc4330cb;hp=aa6820a122cf7ac922e7766d5cad1b6f5bb32a81;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/grow-two-files.c b/grading/filesys/grow-two-files.c
index aa6820a..e4b8904 100644
--- a/grading/filesys/grow-two-files.c
+++ b/grading/filesys/grow-two-files.c
@@ -34,11 +34,11 @@ test_main (void)
   random_bytes (buf_a, sizeof buf_a);
   random_bytes (buf_b, sizeof buf_b);
 
-  check (create ("a", 0), "create \"a\"");
-  check (create ("b", 0), "create \"b\"");
+  CHECK (create ("a", 0), "create \"a\"");
+  CHECK (create ("b", 0), "create \"b\"");
 
-  check ((fd_a = open ("a")) > 1, "open \"a\"");
-  check ((fd_b = open ("b")) > 1, "open \"b\"");
+  CHECK ((fd_a = open ("a")) > 1, "open \"a\"");
+  CHECK ((fd_b = open ("b")) > 1, "open \"b\"");
 
   msg ("write \"a\" and \"b\" alternately");
   while (ofs_a < FILE_SIZE || ofs_b < FILE_SIZE)