X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-mkdir.c;h=890af9d70193f84f1b8e02e86fc786c857573389;hb=e2c7fa52b1352b6fe736050e30c3a9a9ad633307;hp=85d243e43c317b9bc63914ac589588896f58a8ae;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/dir-mkdir.c b/grading/filesys/dir-mkdir.c
index 85d243e..890af9d 100644
--- a/grading/filesys/dir-mkdir.c
+++ b/grading/filesys/dir-mkdir.c
@@ -6,9 +6,9 @@ const char test_name[] = "dir-mkdir";
 void
 test_main (void) 
 {
-  check (mkdir ("a"), "mkdir \"a\"");
-  check (create ("a/b", 512), "create \"a/b\"");
-  check (chdir ("a"), "chdir \"a\"");
-  check (open ("b") > 1, "open \"b\"");
+  CHECK (mkdir ("a"), "mkdir \"a\"");
+  CHECK (create ("a/b", 512), "create \"a/b\"");
+  CHECK (chdir ("a"), "chdir \"a\"");
+  CHECK (open ("b") > 1, "open \"b\"");
 }