From: Ben Pfaff 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)