X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpage-parallel.exp;h=6a2a0b82ed20d297df744afd1c8c00845b0a73d8;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hp=a3ac6c3f1fcb76f62271d00cd886017628a3fa8c;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c;p=pintos-anon

diff --git a/grading/vm/page-parallel.exp b/grading/vm/page-parallel.exp
index a3ac6c3..6a2a0b8 100644
--- a/grading/vm/page-parallel.exp
+++ b/grading/vm/page-parallel.exp
@@ -2,7 +2,7 @@
 (page-parallel) start child 0
 (page-parallel) start child 1
 (page-parallel) start child 2
-(page-parallel) join child 0
-(page-parallel) join child 1
-(page-parallel) join child 2
+(page-parallel) wait for child 0
+(page-parallel) wait for child 1
+(page-parallel) wait for child 2
 (page-parallel) end