X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=config;h=75f876492d20ec31e2f960fb478e217e060193de;hb=50cc126ebe949259a54f153a123848d771601b77;hp=3f870327547d8842e95e0151265821ef3f438755;hpb=e87fab526bcdadb80727bda0b84dd28b9934fa2c;p=eval.git diff --git a/config b/config index 3f87032..75f8764 100644 --- a/config +++ b/config @@ -1,5 +1,5 @@ # Configuration file for the MO Evaluator -# (c) 2001--2007 Martin Mares +# (c) 2001--2008 Martin Mares # The root of the whole directory hierarchy MO_ROOT=/mo @@ -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