X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Ffilesys%2Fdir-mkdir.c;h=890af9d70193f84f1b8e02e86fc786c857573389;hb=8f541a94d9e93c6040a38587ffafdc22f06eca0e;hp=85d243e43c317b9bc63914ac589588896f58a8ae;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;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\"");
 }