Start work on partition support.

[pintos-anon] / grading / filesys / dir-rm-cwd-cd.c

diff --git a/grading/filesys/dir-rm-cwd-cd.c b/grading/filesys/dir-rm-cwd-cd.c
index fe3febdf39f26b86c111ad42f4819731d5bb83d9..94bc0a38bd24448e320ae9d8cf5f1e2823b10c1e 100644 (file)
--- 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)");
 }