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
--- a/build.xml
+++ b/build.xml
<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.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" />
<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>