Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / vm / page-parallel.exp

diff --git a/grading/vm/page-parallel.exp b/grading/vm/page-parallel.exp
index bc914e623644d62ea8aed55313fbe5e5f749bd4d..6a2a0b82ed20d297df744afd1c8c00845b0a73d8 100644 (file)
--- a/grading/vm/page-parallel.exp
+++ b/grading/vm/page-parallel.exp
@@ -2,8 +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
-page-parallel: exit(0)