ant, record transformation times per program

diff --git a/build.xml b/build.xml
index 6f2572b71781c0f6a6eab1d9be55cc2c05447611..18119785ddfec52812743a528e0b80642ed3ee86 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">
-
+        <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>
+        <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"