X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-root.c;h=7489507561cc612651ce7392583afd00c70d8dd5;hb=f7329f3d75dd5db7fd1bde03ed3c8a13b285eb7e;hp=2922824e4bd11e1038056c194f9737369f7ad90e;hpb=bd5dc58a3416a998a24c26604f8ac76db8344610;p=pintos-anon

diff --git a/grading/filesys/dir-rm-root.c b/grading/filesys/dir-rm-root.c
index 2922824..7489507 100644
--- a/grading/filesys/dir-rm-root.c
+++ b/grading/filesys/dir-rm-root.c
@@ -6,6 +6,6 @@ const char test_name[] = "dir-rm-root";
 void
 test_main (void) 
 {
-  check (!remove ("/"), "remove \"/\" (must return false)");
-  check (create ("/a", 243), "create \"/a\"");
+  CHECK (!remove ("/"), "remove \"/\" (must return false)");
+  CHECK (create ("/a", 243), "create \"/a\"");
 }