Set MO_ROOT only if isn't already set.

diff --git a/config b/config
index bc8260a2fc0d43a6088292d8abda998802434e90..ba37efce143a516dfd047f20dd7aca70bb91446d 100644 (file)
--- a/config
+++ b/config
@@ -2,7 +2,9 @@
 # (c) 2001--2007 Martin Mares <mj@ucw.cz>
 
 # The root of the whole directory hierarchy
-MO_ROOT=/aux/mo
+if [ -z "$MO_ROOT" ] ; then
+       MO_ROOT=/aux/mo
+fi
 
 # User and group used by the evaluator itself
 EVAL_USER=mo-eval