From: Martin Mares <mj@ucw.cz>
Date: Wed, 19 Mar 2008 13:27:39 +0000 (+0100)
Subject: Added LANG_SANDBOX_OPTS.
X-Git-Tag: python-dummy-working~216
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=2e319c776193091954cb1afd9f1f94f74eebb841;p=eval.git

Added LANG_SANDBOX_OPTS.
---

diff --git a/config b/config
index 43beb07..0c56c5b 100644
--- a/config
+++ b/config
@@ -52,6 +52,9 @@ COMP=false
 # Sandbox options used when compiling
 COMP_SANDBOX_OPTS='-m262144 -w60 -e -i/dev/null'
 
+# Extra per-language sandbox options used when testing
+LANG_SANDBOX_OPTS=
+
 # Translation of runtime errors: a function, which receives the exit code as an argument and
 # if it is recognized as a runtime error code, it prints its name to the standard output.
 EXIT_CODE_HOOK=
@@ -150,7 +153,7 @@ 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 $BOX_EXTRAS'
+TEST_SANDBOX_OPTS='-a2 -f -m$MEM_LIMIT -t$TIME_LIMIT $LANG_SANDBOX_OPTS $BOX_EXTRAS'
 
 # Extra options to be overridden in task configuration
 BOX_EXTRAS=