X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-open.c;h=37a400bb8f8b37b0005a3f5692f92b788b90c902;hb=e2c7fa52b1352b6fe736050e30c3a9a9ad633307;hp=40550ee81e1d8457922264e1fb17ca44f84dd7e4;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/dir-open.c b/grading/filesys/dir-open.c
index 40550ee..37a400b 100644
--- a/grading/filesys/dir-open.c
+++ b/grading/filesys/dir-open.c
@@ -8,7 +8,7 @@ test_main (void)
 {
   int fd;
   
-  check (mkdir ("xyzzy"), "mkdir \"xyzzy\"");
+  CHECK (mkdir ("xyzzy"), "mkdir \"xyzzy\"");
   msg ("open \"xyzzy\"");
   fd = open ("xyzzy");
   if (fd == -1) 
@@ -16,7 +16,7 @@ test_main (void)
   else 
     {
       int retval = write (fd, "foobar", 6);
-      check (retval == -1, "write \"xyzzy\" (must return -1, actually %d)",
+      CHECK (retval == -1, "write \"xyzzy\" (must return -1, actually %d)",
              retval);
     }
 }