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