Document BOX_EXTRAS.

diff --git a/config b/config
index 246511efd848e024ca2adfa8a148631bd8931743..57a679047a2da9a278dc3bc988c4b06d5413d0f7 100644 (file)
--- 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=