From: Martin Mares <mj@ucw.cz>
Date: Mon, 24 Sep 2012 13:17:34 +0000 (+0200)
Subject: MOP: Added config file which builds everything
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=b199ecf0828d68fc83f9038f48e988a5aa5a4b28;p=eval.git

MOP: Added config file which builds everything
---

diff --git a/mop/default.cfg b/mop/default.cfg
new file mode 100644
index 0000000..ecc3d19
--- /dev/null
+++ b/mop/default.cfg
@@ -0,0 +1,5 @@
+# Config file for building the MO-P version
+
+require "default.cfg";
+Set("CONFIG_SUBMIT" => 1);
+Set("CONFIG_MOP" => 1);