X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-vine.c;h=6259d3e54785a0ead9346c768c161b93c54d44c6;hb=ab407568bb7d7e8bef6abc0020619b7237853f50;hp=20b52a233e3486fdb6ad713cd1322daa28bfc30a;hpb=c36e5b768f46fc098377b9a70d2b1c02405ef14a;p=pintos-anon

diff --git a/grading/filesys/dir-rm-vine.c b/grading/filesys/dir-rm-vine.c
index 20b52a2..6259d3e 100644
--- a/grading/filesys/dir-rm-vine.c
+++ b/grading/filesys/dir-rm-vine.c
@@ -14,22 +14,22 @@ test_main (void)
   tmp[1] = '\0';
   for (tmp[0] = '0'; tmp[0] <= '9'; tmp[0]++) 
     {
-      check (mkdir (tmp), "mkdir \"%s\"", tmp);
-      check (chdir (tmp), "chdir \"%s\"", tmp);
+      CHECK (mkdir (tmp), "mkdir \"%s\"", tmp);
+      CHECK (chdir (tmp), "chdir \"%s\"", tmp);
     }
-  check (create ("test", 512), "create \"test\"");
+  CHECK (create ("test", 512), "create \"test\"");
 
-  check (chdir ("/"), "chdir \"/\"");
-  check ((fd = open (filename)) > 1, "open \"%s\"", filename);
+  CHECK (chdir ("/"), "chdir \"/\"");
+  CHECK ((fd = open (filename)) > 1, "open \"%s\"", filename);
   msg ("close \"%s\"", filename);
   close (fd);
 
   strlcpy (tmp, filename, sizeof tmp);
   while (strlen (tmp) > 0)
     {
-      check (remove (tmp), "remove \"%s\"", tmp);
+      CHECK (remove (tmp), "remove \"%s\"", tmp);
       *strrchr (tmp, '/') = 0;
     }
 
-  check (open (filename) == -1, "open \"%s\" (must return -1)", filename);
+  CHECK (open (filename) == -1, "open \"%s\" (must return -1)", filename);
 }