From: Jim Procter <jprocter@issues.jalview.org>
Date: Tue, 26 Jun 2018 08:56:51 +0000 (+0100)
Subject: JAL-3033 local build server path for eclipse
X-Git-Tag: Release_2_11_4_0~45^2~18^2~629^2~9
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=ccbbc79f5b3f1c06b51ff11fdca390ab6ec88b52;p=jalview.git

JAL-3033 local build server path for eclipse
---

diff --git a/build.xml b/build.xml
index 712affd..5a0f1c7 100755
--- a/build.xml
+++ b/build.xml
@@ -1001,7 +1001,7 @@
 </target>
 <target name="build-site" depends="init,prepare">
   <property name="swingjsdir" value="swingjs"/>
-  <property name="eclipse-inst" value="../../eclipse-js/"/>
+  <property name="eclipse-inst" value="/home/bamboo/buildtools/eclipse/eclipse-js"/>
   <property name="eclipse-exec" value="${eclipse-inst}/eclipse"/>
   <property name="site" value="site"/>
   <!-- where the eclipse js workspace has been initialised -->