X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-under-file.c;h=08cef94791ad82f769bd3afcb6a8927ec5b74d84;hb=e2c971e67570e30eaae1ee16db2e0efe8c13cd75;hp=2565a272a92d46f12376a436697fdb94f2911c40;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/dir-under-file.c b/grading/filesys/dir-under-file.c
index 2565a27..08cef94 100644
--- a/grading/filesys/dir-under-file.c
+++ b/grading/filesys/dir-under-file.c
@@ -6,6 +6,6 @@ const char test_name[] = "dir-under-file";
 void
 test_main (void) 
 {
-  check (create ("abc", 0), "create \"abc\"");
-  check (!mkdir ("abc"), "mkdir \"abc\" (must return false)");
+  CHECK (create ("abc", 0), "create \"abc\"");
+  CHECK (!mkdir ("abc"), "mkdir \"abc\" (must return false)");
 }