JAL-3033 try to configure eclipse workspace via property

[jalview.git] / build.xml

diff --git a/build.xml b/build.xml
index e69c676..dbe9f71 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -1005,7 +1005,7 @@
   <property name="eclipse-exec" value="${eclipse-inst}/eclipse"/>
   <property name="site" value="site"/>
   <!-- where the eclipse js workspace has been initialised -->
-  <property name="eclipse-workspace" value="/cluster/gjb_lab/jprocter/eclipse-js-workspace"/>
+  <property name="eclipse-work" value="/cluster/gjb_lab/jprocter/eclipse-js-workspace"/>
   
   <!-- execute eclipse build, trap log and dump to stdout here -->
   <copy file="${swingjsdir}/net.sf.j2s.core.jar" todir="${eclipse-inst}/dropins"/>
@@ -1017,7 +1017,7 @@
     <arg value="-application"/>
     <arg value="org.eclipse.jdt.apt.core.aptBuild"/>
     <arg value="-data"/>
-    <arg value="/cluster/gjb_lab/jprocter/eclipse-js-workspace"/>
+    <arg value="${eclipse-work}"/>
   </exec>
 
   <!-- TODO: run jslint and something else here to check we have a complete set of .js files for java -->