X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Frun-tests;h=d5f58706ec01c2b2d3ba01e4ff70acf2e395600d;hb=b09f5e5075c6840d6f7601857840b3de3d5de521;hp=94fd802938c394cca40528004ba40f51dd9a769f;hpb=6dff7eabf12b453182b85e280b99044dd1367fae;p=pintos-anon

diff --git a/grading/threads/run-tests b/grading/threads/run-tests
index 94fd802..d5f5870 100755
--- 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;
 }