X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=public%2Fcompile;h=f96528f2a5bcb1eb813e9e233c4330b96017417f;hb=24a6e512fa3427c0f7f3003723093ff38ec11637;hp=b10ae9daefd62cc819f8ca846a5b2edcac3c54a5;hpb=e3fe6f90791ec2dbaec4b2a78b3ad4d51416ce8f;p=eval.git

diff --git a/public/compile b/public/compile
old mode 100644
new mode 100755
index b10ae9d..f96528f
--- 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