X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-tree.c;h=24cc21f21f5217e2ca47fbb593f975266bc04d3b;hb=5db27be45b12cc35feb6f1de19861d180e5620fe;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..24cc21f 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++)