From: Martin Mares <mj@ucw.cz>
Date: Thu, 5 Jul 2007 08:59:59 +0000 (+0200)
Subject: Read the right log file.
X-Git-Tag: python-dummy-working~306
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=bf329009f889fe7a431e989ba48171da4c9560ae;p=eval.git

Read the right log file.
---

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