From 2e319c776193091954cb1afd9f1f94f74eebb841 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Wed, 19 Mar 2008 14:27:39 +0100 Subject: [PATCH] Added LANG_SANDBOX_OPTS. --- config | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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= -- 2.39.2