X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-dir.inc;h=4a764f16ce09dc25cad3c87635dd8b6186118e31;hb=dc17c571d79b596194b88c50d5113e4a1b2f2238;hp=86a471fe3b5d34dae583702c1ae095956777367d;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/grow-dir.inc b/grading/filesys/grow-dir.inc
index 86a471f..4a764f1 100644
--- a/grading/filesys/grow-dir.inc
+++ b/grading/filesys/grow-dir.inc
@@ -18,7 +18,7 @@ test_main (void)
   size_t i;
   
 #ifdef DIRECTORY
-  check (mkdir (DIRECTORY), "mkdir %s", DIRECTORY);
+  CHECK (mkdir (DIRECTORY), "mkdir %s", DIRECTORY);
 #define DIR_PREFIX DIRECTORY "/"
 #else
 #define DIR_PREFIX ""