projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Work on userprog testing.
[pintos-anon]
/
grading
/
threads
/
run-tests
diff --git
a/grading/threads/run-tests
b/grading/threads/run-tests
index 94fd802938c394cca40528004ba40f51dd9a769f..d5f58706ec01c2b2d3ba01e4ff70acf2e395600d 100755
(executable)
--- a/
grading/threads/run-tests
+++ b/
grading/threads/run-tests
@@
-726,6
+726,8
@@
sub xsystem {
unlink ("output/$log.err") if defined ($log) && $status == 0;
+ die $options{DIE} if $status != 0 && defined $options{DIE};
+
return $status == 0;
}