X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-mk-vine.c;h=3bed83e9ddbbd65e51acfc77d802fa777c71112a;hb=6dca07ec0e8cde38f64f0c9f543b8e52ba169e94;hp=c044b3aa9af61e361ce40cbd0ff9ae96e3b13a52;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;p=pintos-anon

diff --git a/grading/filesys/dir-mk-vine.c b/grading/filesys/dir-mk-vine.c
index c044b3a..3bed83e 100644
--- a/grading/filesys/dir-mk-vine.c
+++ b/grading/filesys/dir-mk-vine.c
@@ -12,11 +12,11 @@ test_main (void)
   dir[1] = '\0';
   for (dir[0] = '0'; dir[0] <= '9'; dir[0]++) 
     {
-      check (mkdir (dir), "mkdir \"%s\"", dir);
-      check (chdir (dir), "chdir \"%s\"", dir);
+      CHECK (mkdir (dir), "mkdir \"%s\"", dir);
+      CHECK (chdir (dir), "chdir \"%s\"", dir);
     }
-  check (create ("test", 512), "create \"test\"");
-  check (chdir ("/"), "chdir \"/\"");
-  check (open (filename) > 1, "open \"%s\"", filename);
+  CHECK (create ("test", 512), "create \"test\"");
+  CHECK (chdir ("/"), "chdir \"/\"");
+  CHECK (open (filename) > 1, "open \"%s\"", filename);
 }