]> mj.ucw.cz Git - eval.git/blobdiff - public/compile
Reworked the installation machinery.
[eval.git] / public / compile
index 0a180d3f2d81b19cc8652c82cf2ced8750058681..b10ae9daefd62cc819f8ca846a5b2edcac3c54a5 100644 (file)
@@ -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