gitweb on Svarog
projekti pod git sistemom za održavanje verzija -- projects under the git version control systemdiff --git a/build.xml b/build.xml
index 6f2572b71781c0f6a6eab1d9be55cc2c05447611..ad7737e46c949ab8029e9360276e05f0d5c2f0e1 100644 (file)
--- a/build.xml
+++ b/build.xml
</tstamp>
</target>
- <target name="all" depends='mj-samples,mjc2wsl-samples,wsl-transf-samples'
+ <target name="all" depends='mj-samples,mjc2wsl-samples,wsl-transf-samples,metrics-samples-compare-wsl'
description="build the tools, run them on the samples to check">
</target>
<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"