X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-cwd.c;h=f99983be6f333dc1ad729cb9a150db7290468173;hb=2969f4df6a95b37e05ad6aa562ae82206b646eb0;hp=2754850a702050e5cde7afc1cb3d3c2091db54f0;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;p=pintos-anon

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