X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rmdir.c;h=ca5893daa277ac139e9d66aa63159616d09d1c9d;hb=654121cfc127bc8e1e9aa8859c2d68f0dc4330cb;hp=ed9be6424281a2b0d6a6891993df184fb4f3123d;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/dir-rmdir.c b/grading/filesys/dir-rmdir.c
index ed9be64..ca5893d 100644
--- a/grading/filesys/dir-rmdir.c
+++ b/grading/filesys/dir-rmdir.c
@@ -6,7 +6,7 @@ const char test_name[] = "dir-rmdir";
 void
 test_main (void) 
 {
-  check (mkdir ("a"), "mkdir \"a\"");
-  check (remove ("a"), "rmdir \"a\"");
-  check (!chdir ("a"), "chdir \"a\" (must return false)");
+  CHECK (mkdir ("a"), "mkdir \"a\"");
+  CHECK (remove ("a"), "rmdir \"a\"");
+  CHECK (!chdir ("a"), "chdir \"a\" (must return false)");
 }