X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=config;h=75f876492d20ec31e2f960fb478e217e060193de;hb=50cc126ebe949259a54f153a123848d771601b77;hp=e7a1f2bbbec9c120b4fa2784ff58d3b2baf5f754;hpb=4ea5a509cea333f6bd6c8226a6e71fa114a95a47;p=eval.git

diff --git a/config b/config
index e7a1f2b..75f8764 100644
--- a/config
+++ b/config
@@ -1,5 +1,5 @@
 # Configuration file for the MO Evaluator
-# (c) 2001--2007 Martin Mares <mj@ucw.cz>
+# (c) 2001--2008 Martin Mares <mj@ucw.cz>
 
 # The root of the whole directory hierarchy
 MO_ROOT=/mo
@@ -142,7 +142,7 @@ FREE_PASCAL_RTE=1
 # DEBUG: Let `ev' run sample tests, too.
 #EV_SAMPLE=1
 
-# DEBUG: Run `pedant' on all input data
+# DEBUG: Run `pedant' on all input data. Set either to `1' or to pedant's options.
 #EV_PEDANT=1
 
 # DEBUG: Skip checks (useful when generating output files by running model solution)
@@ -150,3 +150,9 @@ FREE_PASCAL_RTE=1
 
 # DEBUG: Skip output filters (if you suspect they are buggy)
 #EV_NOFILTER=1
+
+### Variables overrides (most variables can be overridden for specific tests or source extensions):
+
+#EXT_pas_TIME_LIMIT=100
+#TEST_1_TIME_LIMIT=100
+#EXT_pas_TEST_1_TIME_LIMIT=100