X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fthreads%2Frun-tests;h=096bec0a08285bbf8cc034da210154661680d10d;hb=27e2fa0176f088ee129a65130322574f3807c67c;hp=37bc6594f823f8e9ca0d9927ffcf52345ba03c40;hpb=d0147cf7556c5dc09300e5c5ac6ebd89a4618875;p=pintos-anon

diff --git a/grading/threads/run-tests b/grading/threads/run-tests
index 37bc659..096bec0 100755
--- a/grading/threads/run-tests
+++ b/grading/threads/run-tests
@@ -125,7 +125,7 @@ sub verify_alarm {
 
     local ($_);
     foreach (@output) {
-	die $_ if /Out of order/;
+	die $_ if /out of order/i;
 
 	my ($p) = /product=(\d+)$/;
 	next if !defined $p;