mjc2wsl, error message for converting the stream

[mjc2wsl.git] / build.xml

diff --git a/build.xml b/build.xml
index 89e8a44..f785557 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -55,7 +55,7 @@
     <!-- args can be used to send additional arguments to a script -->
     <property name="transf.wsl.args" value="" />
 
-    <property name="metrics.wsl.file" value="src-wsl/metrics.wsl" />
+    <property name="metrics.wsl.file" value="src-wsl/metrics_csv.wsl" />
     <property name="metrics.extension" value=".met" />
 
     <property name="tests.dir" value="tests" />
@@ -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>