From cdc07e8f1faeef4f3f3527482f98e9a3f5034b11 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 3 Feb 2008 23:50:26 +0100
Subject: [PATCH] Document BOX_EXTRAS.

---
 config | 3 +++
 1 file changed, 3 insertions(+)

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=
 
-- 
2.39.5