From: Martin Mares Date: Thu, 25 Jun 2015 15:51:17 +0000 (+0200) Subject: MO-P: We do not use the submit server any longer X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;ds=sidebyside;h=5a83cb289dacc0e3c93203138867988887d0c2a9;hp=88983a489214f69f652fda6656811542075bc82a;p=eval.git MO-P: We do not use the submit server any longer --- diff --git a/mop/default.cfg b/mop/default.cfg index ecc3d19..f2b1a7a 100644 --- a/mop/default.cfg +++ b/mop/default.cfg @@ -1,5 +1,5 @@ # Config file for building the MO-P version require "default.cfg"; -Set("CONFIG_SUBMIT" => 1); +# Set("CONFIG_SUBMIT" => 1); Set("CONFIG_MOP" => 1);