From c3bc1172cbfc67b0d1c74fa91acce6023617be72 Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Thu, 3 Aug 2017 18:05:02 +0200
Subject: [PATCH] ant, optional args to transf script

---
 build.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 27e8b08..89e8a44 100644
--- a/build.xml
+++ b/build.xml
@@ -52,6 +52,8 @@
     <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" />
@@ -299,7 +301,7 @@
 
         <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>
 
-- 
2.25.1