From 9a5e4c6a52d1a4d996a8897bffed2a56d04ce1fa Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Mon, 25 Jun 2018 12:47:50 +0100
Subject: [PATCH] JAL-3033 comment about testing if eclipse build completed

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

diff --git a/build.xml b/build.xml
index d1c9568..e753b06 100755
--- a/build.xml
+++ b/build.xml
@@ -1021,7 +1021,7 @@
   </exec>
 
   <!-- TODO: run jslint and something else here to check we have a complete set of .js files for java -->
-  
+  <!-- possibly compare timestamps between .js files and their mate in source - any newer or not present triggers a new build -->
   <!-- <mkdir dir="${packageDir}/${site}" /> -->
   <!--   <property name="swingjs.zipurl" value="https://github.com/BobHanson/java2script/blob/master/sources/net.sf.j2s.java.core/dist/SwingJS-site.zip?raw=true" /> -->
   <property name="swingjs.zip" value="${swingjsdir}/SwingJS-site.zip" />
-- 
1.7.10.2