From: Martin Mares Date: Sun, 3 Feb 2008 22:50:26 +0000 (+0100) Subject: Document BOX_EXTRAS. X-Git-Tag: python-dummy-working~240 X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=cdc07e8f1faeef4f3f3527482f98e9a3f5034b11;hp=84149d5ccbed49d0c4d3e0e1c746ad2527086022;p=moe.git Document BOX_EXTRAS. --- diff --git a/config b/config index 246511e..57a6790 100644 --- a/config +++ b/config @@ -134,6 +134,9 @@ OUTPUT_CHECK='diff -bBu $TDIR/$TEST.ok $TDIR/$TEST.out' # Sandbox options used when testing TEST_SANDBOX_OPTS='-a2 -f -m$MEM_LIMIT -t$TIME_LIMIT $BOX_EXTRAS' +# Extra options to be overridden in task configuration +BOX_EXTRAS= + # Sandbox initialization commands SANDBOX_INIT=