X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fsm-random.exp;h=37adb48ff9f803342265dc2b279b625ea8cee901;hb=654121cfc127bc8e1e9aa8859c2d68f0dc4330cb;hp=aba5461a75dbac27a39a10926120235d30977bf5;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;p=pintos-anon

diff --git a/grading/filesys/sm-random.exp b/grading/filesys/sm-random.exp
index aba5461..37adb48 100644
--- a/grading/filesys/sm-random.exp
+++ b/grading/filesys/sm-random.exp
@@ -4,3 +4,4 @@
 (sm-random) write "bazzle" in random order
 (sm-random) read "bazzle" in random order
 (sm-random) close "bazzle"
+(sm-random) end