make log times even more specific

[mjc2wsl.git] / build.xml

diff --git a/build.xml b/build.xml
index 0207988..f785557 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -52,13 +52,15 @@
     <property name="transf.wsl.file" value="src-wsl/transf-min.wsl" />
     <property name="transf.wsl.ini" value="transf.ini" />
     <property name="transf.wsl.ext" value="_t.wsl" />
+    <!-- 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" />
 
-    <property name="log.dir" value="logs" />
+    <property name="log.dir" value="${basedir}/logs" />
     <property name="log.file.transformations" value="${log.dir}/transformations" />
     <property name="log.file.mjc2wsl" value="${log.dir}/mjc2wsl" />
     <property name="log.file.tests.m" value="${log.dir}/tests-mj" />
@@ -98,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>
 
@@ -299,7 +301,7 @@
 
         <antcall target="wsl-run">
             <param name="filename" value="${transf.wsl.file}" />
-            <param name="args" value="${transf.filename}" />
+            <param name="args" value="${transf.wsl.args} ${transf.filename}" />
         </antcall>
     </target>
 
@@ -310,6 +312,7 @@
             <path>
             <fileset dir='${samples.temp.dir}'>
                 <patternset refid="non.transformed.sources"/>
+                <depth max="0"/>
             </fileset>
             </path>
         </foreach>