From d42c1adc6017b0ffe69ea3fc07274b8c573d9a66 Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Tue, 26 Jun 2018 09:57:14 +0100
Subject: [PATCH] =?utf8?q?JAL-3033=20fail=20if=20the=20transpiler=20isn=E2=80?=
 =?utf8?q?=99t=20updated=20from=20swingjs/=E2=80=A6?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

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

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