From f8c7c32e3ea6417ccf04309ec521b39a0c20414d Mon Sep 17 00:00:00 2001 From: cassiopc Date: Mon, 6 Aug 2012 19:59:23 +0200 Subject: fix some concurrency issues when judging a run; update scripts to look for /etc/boca.conf if it exists --- boca-1.5.0/tools/icpc.etc.tgz | Bin 8634 -> 8634 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'boca-1.5.0/tools') diff --git a/boca-1.5.0/tools/icpc.etc.tgz b/boca-1.5.0/tools/icpc.etc.tgz index d3b7025..11090b0 100644 Binary files a/boca-1.5.0/tools/icpc.etc.tgz and b/boca-1.5.0/tools/icpc.etc.tgz differ -- cgit v1.2.3