X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fdir-rm-tree.ck;h=587b4935a52accb5fd2683c2f5dd7e054c12b4fa;hb=59f738d500f51ffc5f487344865b8bed69c26281;hp=7e3ae6e1f46b84233c25131294c4908c6cb7a52f;hpb=b51bfd75c7f55f008d67ec13d895694fbfa22430;p=pintos-anon

diff --git a/src/tests/filesys/extended/dir-rm-tree.ck b/src/tests/filesys/extended/dir-rm-tree.ck
index 7e3ae6e..587b493 100644
--- a/src/tests/filesys/extended/dir-rm-tree.ck
+++ b/src/tests/filesys/extended/dir-rm-tree.ck
@@ -11,5 +11,4 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (dir-rm-tree) open "/3/0/2/0" (must return -1)
 (dir-rm-tree) end
 EOF
-check_archive ({});
 pass;