Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / filesys / grow-root-sm.exp

diff --git a/grading/filesys/grow-root-sm.exp b/grading/filesys/grow-root-sm.exp
index c9f4bd54384a450af98945d62d1df24a8d32fffe..a4df5cd879caf4c5f65c1e2d4adf751d781e832a 100644 (file)
--- a/grading/filesys/grow-root-sm.exp
+++ b/grading/filesys/grow-root-sm.exp
@@ -9,14 +9,4 @@
 (grow-root-sm) creating and checking "file7"
 (grow-root-sm) creating and checking "file8"
 (grow-root-sm) creating and checking "file9"
-(grow-root-sm) creating and checking "file10"
-(grow-root-sm) creating and checking "file11"
-(grow-root-sm) creating and checking "file12"
-(grow-root-sm) creating and checking "file13"
-(grow-root-sm) creating and checking "file14"
-(grow-root-sm) creating and checking "file15"
-(grow-root-sm) creating and checking "file16"
-(grow-root-sm) creating and checking "file17"
-(grow-root-sm) creating and checking "file18"
-(grow-root-sm) creating and checking "file19"
 (grow-root-sm) end