X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-cwd-cd.c;fp=grading%2Ffilesys%2Fdir-rm-cwd-cd.c;h=94bc0a38bd24448e320ae9d8cf5f1e2823b10c1e;hb=f7329f3d75dd5db7fd1bde03ed3c8a13b285eb7e;hp=f1916fbe1ccf6f5db93618ab1e558baf48aac3d2;hpb=bd5dc58a3416a998a24c26604f8ac76db8344610;p=pintos-anon

diff --git a/grading/filesys/dir-rm-cwd-cd.c b/grading/filesys/dir-rm-cwd-cd.c
index f1916fb..94bc0a3 100644
--- a/grading/filesys/dir-rm-cwd-cd.c
+++ b/grading/filesys/dir-rm-cwd-cd.c
@@ -6,12 +6,12 @@ const char test_name[] = "dir-rm-cwd-cd";
 void
 test_main (void) 
 {
-  check (mkdir ("a"), "mkdir \"a\"");
-  check (chdir ("a"), "chdir \"a\"");
+  CHECK (mkdir ("a"), "mkdir \"a\"");
+  CHECK (chdir ("a"), "chdir \"a\"");
   msg ("remove \"/a\" (must not crash)");
   if (remove ("/a"))
-    check (!chdir ("/a"),
+    CHECK (!chdir ("/a"),
            "chdir \"/a\" (remove succeeded so this must return false)");
   else
-    check (chdir ("/a"), "chdir \"/a\" (remove failed so this must succeed)");
+    CHECK (chdir ("/a"), "chdir \"/a\" (remove failed so this must succeed)");
 }