Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / filesys / syn-remove.c

diff --git a/grading/filesys/syn-remove.c b/grading/filesys/syn-remove.c
index c89c0bc0b9d7d64d71ca4cbd51df7e8dba0ad6ea..a5fb86baf0a222ddefaacbceecc68cb6d4f20c8c 100644 (file)
--- 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);