X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=grading%2Fuserprog%2Fclose-stdin.exp;h=a27f2eb4a9f3018a25526d5fc3a5b101c7a4c817;hp=093d1dfac7c6cf28d90554dc07ed55527f11b6fe;hb=b6e3e1c1e0bd9ccaa88bc4aff36b22b426132ba8;hpb=0c9836a6422fe07c539bd0f08965011a7b164b0e

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)