projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improve error message for grading when the make failed.
[pintos-anon]
/
grading
/
userprog
/
create-empty.exp
diff --git
a/grading/userprog/create-empty.exp
b/grading/userprog/create-empty.exp
index cba6c7ade0170890bf72b0ac449039f6b7e76b02..affc1f8443ea61aa84d73409e76d0f9699322205 100644
(file)
--- 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)
(create-empty) begin
(create-empty) end
create-empty: exit(0)
+--OR--
+(create-empty) begin
+create-empty: exit(-1)