X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fchild-syn-read.c;h=5bd739ec79f72a77b9f63a408d5ac206ea8a20e6;hb=365877dfb6d7438056b1a87cedb059e2c28e00d8;hp=f4e49179f1178225285e817a59ad260f8f00681d;hpb=5db27be45b12cc35feb6f1de19861d180e5620fe;p=pintos-anon

diff --git a/grading/filesys/child-syn-read.c b/grading/filesys/child-syn-read.c
index f4e4917..5bd739e 100644
--- a/grading/filesys/child-syn-read.c
+++ b/grading/filesys/child-syn-read.c
@@ -18,17 +18,17 @@ main (int argc, const char *argv[])
 
   quiet = true;
   
-  check (argc == 2, "argc must be 2, actually %d", argc);
+  CHECK (argc == 2, "argc must be 2, actually %d", argc);
   child_idx = atoi (argv[1]);
 
   random_init (0);
   random_bytes (buf, sizeof buf);
 
-  check ((fd = open (filename)) > 1, "open \"%s\"", filename);
+  CHECK ((fd = open (filename)) > 1, "open \"%s\"", filename);
   for (i = 0; i < sizeof buf; i++) 
     {
       char c;
-      check (read (fd, &c, 1) > 0, "read \"%s\"", filename);
+      CHECK (read (fd, &c, 1) > 0, "read \"%s\"", filename);
       compare_bytes (&c, buf + i, 1, i, filename);
     }
   close (fd);