X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-tree.c;h=9bfd8ba3f028352b65827b5e73339fd338211b78;hb=a3c7056dd123d3b0642bcbecddc7e6d1f9535867;hp=303f2571acba3aa1541384addfffceddebf33a45;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/dir-rm-tree.c b/grading/filesys/dir-rm-tree.c
index 303f257..9bfd8ba 100644
--- a/grading/filesys/dir-rm-tree.c
+++ b/grading/filesys/dir-rm-tree.c
@@ -25,7 +25,7 @@ remove_tree (int at, int bt, int ct, int dt)
 
   msg ("removing /0/0/0/0 through /%d/%d/%d/%d...",
        at - 1, bt - 1, ct - 1, dt - 1);
-  quiet = false;
+  quiet = true;
   for (a = 0; a < at; a++) 
     {
       for (b = 0; b < bt; b++) 
@@ -43,7 +43,7 @@ remove_tree (int at, int bt, int ct, int dt)
   quiet = false;
 
   snprintf (try, sizeof (try), "/%d/%d/%d/%d", at - 1, 0, ct - 1, 0);
-  check (open (try) == -1, "open \"%s\" (must return -1)", try);
+  CHECK (open (try) == -1, "open \"%s\" (must return -1)", try);
 }
 
 static void
@@ -56,5 +56,5 @@ do_remove (const char *format, ...)
   vsnprintf (name, sizeof name, format, args);
   va_end (args);
 
-  check (remove (name), "remove \"%s\"", name);
+  CHECK (remove (name), "remove \"%s\"", name);
 }