projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Get rid of unnecessary barrier. Improve comment.
[pintos-anon]
/
grading
/
userprog
/
multi-child-fd.exp
diff --git
a/grading/userprog/multi-child-fd.exp
b/grading/userprog/multi-child-fd.exp
index 57b2e12fa915a6c9409f9577801b65db16ff629d..474ea91fad96fc49eac789aa293a652d46e9a3b9 100644
(file)
--- a/
grading/userprog/multi-child-fd.exp
+++ b/
grading/userprog/multi-child-fd.exp
@@
-1,12
+1,12
@@
(multi-child-fd) begin
(child-close) success
child-close: exit(0)
(multi-child-fd) begin
(child-close) success
child-close: exit(0)
-(multi-child-fd)
join
(exec()) = 0
+(multi-child-fd)
wait
(exec()) = 0
(multi-child-fd) end
multi-child-fd: exit(0)
--OR--
(multi-child-fd) begin
child-close: exit(-1)
(multi-child-fd) end
multi-child-fd: exit(0)
--OR--
(multi-child-fd) begin
child-close: exit(-1)
-(multi-child-fd)
join
(exec()) = -1
+(multi-child-fd)
wait
(exec()) = -1
(multi-child-fd) end
multi-child-fd: exit(0)
(multi-child-fd) end
multi-child-fd: exit(0)