X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fextended%2Fgrow-root-sm.ck;h=1aac7e9cac77c8f7d6a6c279c8631fe59c3641a7;hb=59f738d500f51ffc5f487344865b8bed69c26281;hp=d9d33ffe6f4c1092fd3641820255dee4027fc362;hpb=ec2abdd5b5351b1b1d8578a5b0816154c892bef6;p=pintos-anon

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