diff options
| author | cassio <cassiopc@gmail.com> | 2015-08-28 09:31:34 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2015-08-28 09:31:34 +0000 |
| commit | 56b10a617339563cda2c761e77b3acb96a1b084c (patch) | |
| tree | b0856564f7652ec2940aa6f0595cef1c7b73b52a /tools/boca-submit-run | |
| parent | 2a185532e3a0acf9e37e601fc71c148510dd36a7 (diff) | |
| download | boca-56b10a617339563cda2c761e77b3acb96a1b084c.tar.gz boca-56b10a617339563cda2c761e77b3acb96a1b084c.zip | |
small bug fixes
Diffstat (limited to 'tools/boca-submit-run')
| -rwxr-xr-x[-rw-r--r--] | tools/boca-submit-run | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/boca-submit-run b/tools/boca-submit-run index 4158a4c..87daeb8 100644..100755 --- 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 |