ant, record transformation times per program

diff --git a/build.xml b/build.xml
index 6f2572b..1811978 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -299,11 +299,14 @@
 
     <target name="wsl-transf"
         description="transform (simplify) a single wsl file generated by mjc2wsl">
 
     <target name="wsl-transf"
         description="transform (simplify) a single wsl file generated by mjc2wsl">

-
+        <stopwatch name="transf-${transf.filename}" action="start"/>

         <antcall target="wsl-run">
             <param name="filename" value="${transf.wsl.file}" />
             <param name="args" value="${transf.wsl.args} ${transf.filename}" />
         </antcall>
         <antcall target="wsl-run">
             <param name="filename" value="${transf.wsl.file}" />
             <param name="args" value="${transf.wsl.args} ${transf.filename}" />
         </antcall>

+        <record name="${transf.filename}-time.txt" action="start" emacsmode="true"/>
+        <stopwatch name="transf-${transf.filename}" action="total"/>
+        <record name="${transf.filename}-time.txt" action="stop"/>

     </target>
 
     <target name="wsl-transf-samples" depends="init"
     </target>
 
     <target name="wsl-transf-samples" depends="init"