JAL-3032 BorderLayout renders panel correctly in JalviewJS

[jalview.git] / build.xml

diff --git a/build.xml b/build.xml
index 4ff78e0..b7f1af3 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -1028,7 +1028,11 @@
   </exec>
   <!-- update and checkout the same commit in the workspace project -->
   <exec executable="/usr/bin/git" failifexecutionfails="true" dir="${eclipse-workrepo}">
-    <arg value="pull" />
+    <arg value="reset" />
+    <arg value="--hard" />
+  </exec>
+  <exec executable="/usr/bin/git" failifexecutionfails="true" dir="${eclipse-workrepo}">
+      <arg value="pull" />
   </exec>
   <exec executable="/usr/bin/git" failifexecutionfails="true" dir="${eclipse-workrepo}">
     <arg value="checkout" />