From: Martin Mares <mj@ucw.cz>
Date: Fri, 15 Jun 2007 07:43:18 +0000 (+0200)
Subject: Adjusted to new box options.
X-Git-Tag: python-dummy-working~352
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=6b080aa648cac1c601eb1e479a5a5e44fc28a1df;p=eval.git

Adjusted to new box options.
---

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=