From ccbbc79f5b3f1c06b51ff11fdca390ab6ec88b52 Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Tue, 26 Jun 2018 09:56:51 +0100
Subject: [PATCH] JAL-3033 local build server path for eclipse

---
 build.xml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 -->
-- 
1.7.10.2