ant - minor fix, the recorder had a wrong name to stop

diff --git a/build.xml b/build.xml
index 10b6915e16a6a2c5af562ea9afe0eaa58c718376..7fb3ee4bb30480964d36fb79156a6fe3aeb67b1e 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -206,7 +206,7 @@
         <antcall target="wsl-run">
             <param name="filename" value="${transf.wsl.file}" />
         </antcall>
-        <record name="${log.file.transformations}${time}" action="stop" />
+       <record name="${log.file.transformations}${time}.txt" action="stop" />
         <copy file="${log.file.transformations}${time}.txt" tofile="${log.file.transformations}.txt"/>
     </target>