X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fdir-rm-root.ck;h=8a69ff3c1f943b167bb18480ddcf390bd69007c5;hp=b203cc6394aaa1758814f2b36c12e6cf787c9664;hb=cc41c0acfbda000cb416b3492bc8de3480b62904;hpb=7eb9f6e1fa81807ee7cc381047077f8ff98d1d68

diff --git a/src/tests/filesys/extended/dir-rm-root.ck b/src/tests/filesys/extended/dir-rm-root.ck
index b203cc6..8a69ff3 100644
--- a/src/tests/filesys/extended/dir-rm-root.ck
+++ b/src/tests/filesys/extended/dir-rm-root.ck
@@ -8,5 +8,4 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (dir-rm-root) create "/a"
 (dir-rm-root) end
 EOF
-check_archive ({"a" => ["\0" x 243]});
 pass;