From 6b080aa648cac1c601eb1e479a5a5e44fc28a1df Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Fri, 15 Jun 2007 09:43:18 +0200 Subject: [PATCH] Adjusted to new box options. --- config | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/config b/config index 7b472e1..4ae330d 100644 --- a/config +++ b/config @@ -55,7 +55,7 @@ COMP_p='/usr/bin/fpc -Ci -Cr -Ct -g -O2 -Sg -o$EXE $EXTRA_PFLAGS $SRC' COMP_pas="$COMP_p" # Sandbox options used when compiling -COMP_SANDBOX_OPTS='-m65536 -t60 -w -e -i/dev/null' +COMP_SANDBOX_OPTS='-m65536 -w60 -e -i/dev/null' # Sandbox initialization commands for compilation COMP_SANDBOX_INIT= @@ -98,7 +98,7 @@ SAMPLE_TESTS="0" # Number of points per test POINTS_PER_TEST=1 -# Time limit in seconds +# Time limit in seconds (can be fractional, but beware of noise) TIME_LIMIT=10 # Memory limit in kilobytes @@ -126,7 +126,6 @@ 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' -# -w for wall clock measuring # Sandbox initialization commands SANDBOX_INIT= -- 2.39.2