make log times even more specific

[mjc2wsl.git] / build.xml

diff --git a/build.xml b/build.xml
index ee686f5245ed77ce303604ccdb4b11b83786a3dd..f7855572d025f93ca6c1893bb4f63855797b970d 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -100,7 +100,7 @@
 
     <target name="init-time">
         <tstamp>
-          <format property="time" pattern="yy-MM-dd--HH-mm-ss"/>
+          <format property="time" pattern="yy-MM-dd--HH-mm-ss-SSS"/>
         </tstamp>
     </target>