build.xml
changeset 3337 c1aed8dc48e1
parent 3229 1b93fe608ca4
child 3389 7dce8510354a
--- a/build.xml	Thu Mar 05 17:30:34 2009 +0100
+++ b/build.xml	Thu Mar 05 17:43:25 2009 +0100
@@ -142,6 +142,13 @@
     </or>
   </condition>
 
+  <condition property="timestamp">
+    <or>
+      <equals arg1="no" arg2="${execute.update.build.timestamp}" />
+      <equals arg1="false" arg2="${execute.update.build.timestamp}" />
+    </or>
+  </condition>
+
   <condition property="jakarta.base" value="${env.CATALINA_BASE}" else="${jakarta.home}">
     <and>
       <isset property="env.CATALINA_BASE" />