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

diff --git a/grading/filesys/child-syn-rw.c b/grading/filesys/child-syn-rw.c
index 64e93c7..7f0137a 100644
--- a/grading/filesys/child-syn-rw.c
+++ b/grading/filesys/child-syn-rw.c
@@ -20,18 +20,18 @@ 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 (buf1, sizeof buf1);
 
-  check ((fd = open (filename)) > 1, "open \"%s\"", filename);
+  CHECK ((fd = open (filename)) > 1, "open \"%s\"", filename);
   ofs = 0;
   while (ofs < sizeof buf2)
     {
       int bytes_read = read (fd, buf2 + ofs, sizeof buf2 - ofs);
-      check (bytes_read >= -1 && bytes_read <= (int) (sizeof buf2 - ofs),
+      CHECK (bytes_read >= -1 && bytes_read <= (int) (sizeof buf2 - ofs),
              "%zu-byte read on \"%s\" returned invalid value of %d",
              sizeof buf2 - ofs, filename, bytes_read);
       if (bytes_read > 0)