X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fmk-tree.c;h=aac52519da9ba9cea5c11156eed9f15323039a7f;hb=365877dfb6d7438056b1a87cedb059e2c28e00d8;hp=ed0e5c364e96a1018e632ce5d1a69cd446bc0d5d;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/mk-tree.c b/grading/filesys/mk-tree.c
index ed0e5c3..aac5251 100644
--- a/grading/filesys/mk-tree.c
+++ b/grading/filesys/mk-tree.c
@@ -33,7 +33,7 @@ make_tree (int at, int bt, int ct, int dt)
   quiet = false;
 
   snprintf (try, sizeof try, "/%d/%d/%d/%d", 0, bt - 1, 0, dt - 1);
-  check ((fd = open (try)) > 1, "open \"%s\"", try);
+  CHECK ((fd = open (try)) > 1, "open \"%s\"", try);
   msg ("close \"%s\"", try);
   close (fd);
 }
@@ -48,7 +48,7 @@ do_mkdir (const char *format, ...)
   vsnprintf (dir, sizeof dir, format, args);
   va_end (args);
 
-  check (mkdir (dir), "mkdir \"%s\"", dir);
+  CHECK (mkdir (dir), "mkdir \"%s\"", dir);
 }
 
 static void
@@ -61,5 +61,5 @@ do_touch (const char *format, ...)
   vsnprintf (file, sizeof file, format, args);
   va_end (args);
 
-  check (create (file, 0), "create \"%s\"", file);
+  CHECK (create (file, 0), "create \"%s\"", file);
 }