ant - wsl-run add workdir param

diff --git a/build.xml b/build.xml
index 5c227f33c54936a482e8862239cd263c85ae17f6..59b015598563bf05fd564870682255e1c6107d39 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -229,7 +229,9 @@
 
     <target name="wsl-run" >
         <property name="args" value=""/>
-        <exec executable="${fermat.dir}/bin/wsl" inputstring="${inputstring}">
+        <property name="wslrun.workdir" value=""/>
+        <exec executable="${fermat.dir}/bin/wsl" inputstring="${inputstring}"
+            dir="${wslrun.workdir}" >
             <env key="PATH" path="${fermat.dir}/bin:${env.PATH}"/>
             <env key="FermaT" path="${fermat.dir}" />
             <env key="SCHEME_LIBRARY_PATH" path="${fermat.dir}/slib/" />