X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rmdir.c;h=ca5893daa277ac139e9d66aa63159616d09d1c9d;hb=bf077c029772a067944ef777b3b6873bb4f2b9e9;hp=ed9be6424281a2b0d6a6891993df184fb4f3123d;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;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)");
 }