X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-parent.c;h=f71895aebc88adaafa9ef2a784e56a6ba35db808;hb=d64618b9f5ecb25d4805650a85cafea0bbe95b05;hp=9a2136ed381e6dae0f8efeab99e5e9d89ae87129;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/dir-rm-parent.c b/grading/filesys/dir-rm-parent.c
index 9a2136e..f71895a 100644
--- a/grading/filesys/dir-rm-parent.c
+++ b/grading/filesys/dir-rm-parent.c
@@ -6,10 +6,10 @@ const char test_name[] = "dir-rm-parent";
 void
 test_main (void) 
 {
-  check (mkdir ("a"), "mkdir \"a\"");
-  check (chdir ("a"), "chdir \"a\"");
-  check (mkdir ("b"), "mkdir \"b\"");
-  check (chdir ("b"), "chdir \"b\"");
+  CHECK (mkdir ("a"), "mkdir \"a\"");
+  CHECK (chdir ("a"), "chdir \"a\"");
+  CHECK (mkdir ("b"), "mkdir \"b\"");
+  CHECK (chdir ("b"), "chdir \"b\"");
   msg ("remove \"/b\" (must not crash)");
   remove ("/b");
   msg ("remove \"/a\" (must not crash)");