X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-mk-tree.exp;h=5558a1626e668736c753c8fb0f3f99aa02529d81;hb=b71440dac90bbed861e419fbc60e8c9eae5db362;hp=141a593ddac3cb4c112e011ece3ab9c1874af014;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;p=pintos-anon

diff --git a/grading/filesys/dir-mk-tree.exp b/grading/filesys/dir-mk-tree.exp
index 141a593..5558a16 100644
--- a/grading/filesys/dir-mk-tree.exp
+++ b/grading/filesys/dir-mk-tree.exp
@@ -1,4 +1,5 @@
 (dir-mk-tree) begin
-(dir-mk-tree) creating /0/0/0/0 through /4/4/4/1...
-(dir-mk-tree) open "/0/1/2/1"
+(dir-mk-tree) creating /0/0/0/0 through /3/2/2/3...
+(dir-mk-tree) open "/0/2/0/3"
+(dir-mk-tree) close "/0/2/0/3"
 (dir-mk-tree) end