From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 1 Jan 2005 02:22:44 +0000 (+0000)
Subject: Make close-stdin, close-stdout expected output more flexible.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ec4c70597de001011d1620268774296a14e23442;p=pintos-anon

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

diff --git a/grading/userprog/close-stdin.exp b/grading/userprog/close-stdin.exp
index 093d1df..a27f2eb 100644
--- 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 8ed30ae..7abe3b2 100644
--- 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)