projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Always try to create output directory, even if pintos directory exists.
[pintos-anon]
/
grading
/
userprog
/
create-null.exp
diff --git
a/grading/userprog/create-null.exp
b/grading/userprog/create-null.exp
index 2250356a3c2bde1d33d2c71b0f4a63d2f8a3de4e..a853b05d525c8ab5de7fb50bf30db3fd656303c4 100644
(file)
--- a/
grading/userprog/create-null.exp
+++ b/
grading/userprog/create-null.exp
@@
-1,3
+1,6
@@
(create-null) begin
(create-null) end
create-null: exit(0)
+--OR--
+(create-null) begin
+create-null: exit(-1)