<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"/>
<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 -->