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

diff --git a/grading/filesys/dir-rm-cwd-cd.c b/grading/filesys/dir-rm-cwd-cd.c
index fe3febd..94bc0a3 100644
--- a/grading/filesys/dir-rm-cwd-cd.c
+++ b/grading/filesys/dir-rm-cwd-cd.c
@@ -6,11 +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"), "chdir \"/a\" (remove succeeded so this must fail)");
+    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)");
 }