Renamed desktop icons.

[moe.git] / config

diff --git a/config b/config
index 806bdd9560fc2eec2635aa124bd892ae78a40116..57a679047a2da9a278dc3bc988c4b06d5413d0f7 100644 (file)
--- a/config
+++ b/config
@@ -132,7 +132,10 @@ OUTPUT_CHECK='diff -bBu $TDIR/$TEST.ok $TDIR/$TEST.out'
 #IC_CHECK='$PDIR/checker $PDIR/$TEST.in $PDIR/$TEST.chk'
 
 # Sandbox options used when testing
-TEST_SANDBOX_OPTS='-a2 -f -m$MEM_LIMIT -t$TIME_LIMIT'
+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=