X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-under-file.c;h=08cef94791ad82f769bd3afcb6a8927ec5b74d84;hb=7f022bbe1d53e8416a05f0f9e5b4cdd9b19f7806;hp=2565a272a92d46f12376a436697fdb94f2911c40;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;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)");
 }