projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Make close-stdin, close-stdout expected output more flexible.
[pintos-anon]
/
grading
/
userprog
/
close-stdout.exp
diff --git
a/grading/userprog/close-stdout.exp
b/grading/userprog/close-stdout.exp
index 8ed30ae692722918e48951f0f68a2875c34211c7..7abe3b2b59ba4adee901ddeda50783e0c207c6e4 100644
(file)
--- a/
grading/userprog/close-stdout.exp
+++ b/
grading/userprog/close-stdout.exp
@@
-1,3
+1,6
@@
(close-stdout) begin
(close-stdout) end
close-stdout: exit(0)
+--OR--
+(close-stdout) begin
+close-stdout: exit(-1)