Make close-stdin, close-stdout expected output more flexible.

diff --git a/grading/userprog/close-stdin.exp b/grading/userprog/close-stdin.exp
index 093d1dfac7c6cf28d90554dc07ed55527f11b6fe..a27f2eb4a9f3018a25526d5fc3a5b101c7a4c817 100644 (file)
--- a/grading/userprog/close-stdin.exp
+++ b/grading/userprog/close-stdin.exp
@@ -1,3 +1,6 @@
 (close-stdin) begin
 (close-stdin) end
 close-stdin: exit(0)
+--OR--
+(close-stdin) begin
+close-stdin: exit(-1)

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)