MO_PUBLIC has been replaced by MO_ROOT.

[moe.git] / public / submit

diff --git a/public/submit b/public/submit
index 7b077240b9daa2cd6950b6e10dd06d5a5ba76d30..eaab532b524a7bab3b7e4b8db009cc1ca0f2e2c9 100644 (file)
--- a/public/submit
+++ b/public/submit
@@ -2,9 +2,9 @@
 # (c) 2001--2004 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
 
 FORCE=0
 if [ "$1" = --force ] ; then
@@ -53,7 +53,7 @@ if [ $FAILED != 0 ] ; then
                pend "TESTS FAILED, but --force given, so submitting anyway."
        else
                pend "TESTS FAILED. Nothing has been submitted!"
-               pend "Use submit --force if you really want to submit a WRONG solution."
+               pend "Use submit --force if you really want to submit an obviously WRONG solution."
                exit 1
        fi
 fi