X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Ffilesys%2Fsyn-remove.c;h=a5fb86baf0a222ddefaacbceecc68cb6d4f20c8c;hb=7f022bbe1d53e8416a05f0f9e5b4cdd9b19f7806;hp=c89c0bc0b9d7d64d71ca4cbd51df7e8dba0ad6ea;hpb=c36e5b768f46fc098377b9a70d2b1c02405ef14a;p=pintos-anon

diff --git a/grading/filesys/syn-remove.c b/grading/filesys/syn-remove.c
index c89c0bc..a5fb86b 100644
--- a/grading/filesys/syn-remove.c
+++ b/grading/filesys/syn-remove.c
@@ -14,14 +14,14 @@ test_main (void)
   const char *filename = "deleteme";
   int fd;
   
-  check (create (filename, 0), "create \"%s\"", filename);
-  check ((fd = open (filename)) > 1, "open \"%s\"", filename);
-  check (remove (filename), "remove \"%s\"", filename);
+  CHECK (create (filename, 0), "create \"%s\"", filename);
+  CHECK ((fd = open (filename)) > 1, "open \"%s\"", filename);
+  CHECK (remove (filename), "remove \"%s\"", filename);
   random_bytes (buf1, sizeof buf1);
-  check (write (fd, buf1, sizeof buf1) > 0, "write \"%s\"", filename);
+  CHECK (write (fd, buf1, sizeof buf1) > 0, "write \"%s\"", filename);
   msg ("seek \"%s\" to 0", filename);
   seek (fd, 0);
-  check (read (fd, buf2, sizeof buf2) > 0, "read \"%s\"", filename);
+  CHECK (read (fd, buf2, sizeof buf2) > 0, "read \"%s\"", filename);
   compare_bytes (buf2, buf1, sizeof buf1, 0, filename);
   msg ("close \"%s\"", filename);
   close (fd);