From bf329009f889fe7a431e989ba48171da4c9560ae Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Thu, 5 Jul 2007 10:59:59 +0200
Subject: [PATCH] Read the right log file.

---
 public/compile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/compile b/public/compile
index b10ae9d..f96528f 100755
--- a/public/compile
+++ b/public/compile
@@ -17,7 +17,7 @@ if [ "${1%%.*}" == "$1" ] ; then
 		mv $TDIR/$PROBLEM .
 	else
 		echo >&2
-		sed <log >&2 '1,/^Compiler output:/d;/^Compiler output files:/,$d;/^Exited /d'
+		sed <check-log >&2 '1,/^Compiler output:/d;/^Compiler output files:/,$d;/^Exited /d'
 	fi
 else
 	SRC=$1
-- 
2.39.2