X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fclose-stdout.exp;h=7abe3b2b59ba4adee901ddeda50783e0c207c6e4;hb=24f7fc8acbb300684df3e8d03477ce549b9d87ee;hp=8ed30ae692722918e48951f0f68a2875c34211c7;hpb=4d4065366785163248112abe34ac9a1ecd4b08b5;p=pintos-anon

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)