X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=public%2Fcompile;h=f96528f2a5bcb1eb813e9e233c4330b96017417f;hb=6cba59728737842b32077102280642d269b78d90;hp=0a180d3f2d81b19cc8652c82cf2ced8750058681;hpb=9c62968bc71f78badc6022016a76743664fb48b4;p=moe.git

diff --git a/public/compile b/public/compile
old mode 100644
new mode 100755
index 0a180d3..f96528f
--- a/public/compile
+++ b/public/compile
@@ -2,9 +2,9 @@
 # (c) 2001 Martin Mares <mj@ucw.cz>
 
 set -e
-[ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; }
-. $MO_PUBLIC/bin/lib
-. $MO_PUBLIC/config
+[ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
 
 [ -n "$1" ] || die "Usage: compile (<problem> | <file> [<options>])"
 if [ "${1%%.*}" == "$1" ] ; then
@@ -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