X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=config;h=57a679047a2da9a278dc3bc988c4b06d5413d0f7;hb=107b5e8dc73f0180e2b3f35f8ed031662bbc57fb;hp=246511efd848e024ca2adfa8a148631bd8931743;hpb=84149d5ccbed49d0c4d3e0e1c746ad2527086022;p=moe.git

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=