X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fgrow-root-lg.ck;h=b174bc9c0332ef514561b5d94b0f9a072e4bbfa3;hb=cc41c0acfbda000cb416b3492bc8de3480b62904;hp=d44b244eed2268d8c48373fe501e1729359506cf;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/filesys/extended/grow-root-lg.ck b/src/tests/filesys/extended/grow-root-lg.ck
index d44b244..b174bc9 100644
--- a/src/tests/filesys/extended/grow-root-lg.ck
+++ b/src/tests/filesys/extended/grow-root-lg.ck
@@ -2,6 +2,7 @@
 use strict;
 use warnings;
 use tests::tests;
+use tests::random;
 check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-root-lg) begin
 (grow-root-lg) creating and checking "file0"
@@ -56,3 +57,4 @@ check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
 (grow-root-lg) creating and checking "file49"
 (grow-root-lg) end
 EOF
+pass;