From: Jim Procter <jprocter@issues.jalview.org>
Date: Tue, 26 Jun 2018 08:57:14 +0000 (+0100)
Subject: JAL-3033 fail if the transpiler isn’t updated from swingjs/…
X-Git-Tag: Release_2_11_4_0~45^2~18^2~629^2~8
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=d42c1adc6017b0ffe69ea3fc07274b8c573d9a66;p=jalview.git

JAL-3033 fail if the transpiler isn’t updated from swingjs/…
---

diff --git a/build.xml b/build.xml
index 5a0f1c7..37ac65a 100755
--- a/build.xml
+++ b/build.xml
@@ -1010,7 +1010,7 @@
   <property name="eclipse-workrepo" value="/home/bamboo/buildtools/eclipse/eclipse-js-workspace/jalview-js"/>
     
   <!-- update transpiler -->
-  <copy file="${swingjsdir}/net.sf.j2s.core.jar" todir="${eclipse-inst}/dropins"/>
+  <copy file="${swingjsdir}/net.sf.j2s.core.jar" todir="${eclipse-inst}/dropins" overwrite="true" failonerror="true"/>
   <!-- update the git repo linked to the eclipse workspace -->
   <exec executable="/usr/bin/git" outputproperty="git.commit" failifexecutionfails="true">
     <arg value="rev-parse" />