Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / filesys / grow-dir.inc

diff --git a/grading/filesys/grow-dir.inc b/grading/filesys/grow-dir.inc
index 86a471fe3b5d34dae583702c1ae095956777367d..4a764f16ce09dc25cad3c87635dd8b6186118e31 100644 (file)
--- 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 ""