X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fcreate-empty.exp;h=affc1f8443ea61aa84d73409e76d0f9699322205;hb=429a6ff164bf9e82f7e867c909865928aaf007aa;hp=cba6c7ade0170890bf72b0ac449039f6b7e76b02;hpb=064e19becdc8969ddb605223b340606706a33f86;p=pintos-anon

diff --git a/grading/userprog/create-empty.exp b/grading/userprog/create-empty.exp
index cba6c7a..affc1f8 100644
--- a/grading/userprog/create-empty.exp
+++ b/grading/userprog/create-empty.exp
@@ -1,3 +1,6 @@
 (create-empty) begin
 (create-empty) end
 create-empty: exit(0)
+--OR--
+(create-empty) begin
+create-empty: exit(-1)