From 56b10a617339563cda2c761e77b3acb96a1b084c Mon Sep 17 00:00:00 2001
From: cassio <cassiopc@gmail.com>
Date: Fri, 28 Aug 2015 10:31:34 +0100
Subject: small bug fixes

---
 tools/boca-submit-run | 1 -
 1 file changed, 1 deletion(-)
 mode change 100644 => 100755 tools/boca-submit-run

(limited to 'tools/boca-submit-run')

diff --git a/tools/boca-submit-run b/tools/boca-submit-run
old mode 100644
new mode 100755
index 4158a4c..87daeb8
--- a/tools/boca-submit-run
+++ b/tools/boca-submit-run
@@ -1,6 +1,5 @@
 #!/bin/bash
 
-[ -x /etc/icpc/bocaservers.sh ] && . /etc/icpc/bocaservers.sh
 [ -x /etc/icpc/bocaserver.sh ] && . /etc/icpc/bocaserver.sh
 if [ "$BOCASERVER" != "" ]; then
 	if [ "$BOCASERVERS" == "" ]; then
-- 
cgit v1.2.3