Commit 0be1536d authored by Jean Vintache's avatar Jean Vintache

fix run.sh not existing

parent 6bc1b72e
...@@ -26,7 +26,9 @@ ...@@ -26,7 +26,9 @@
</fileset> </fileset>
</delete> </delete>
<copy file="input/pad.html" todir="${eth_in}"/> <copy file="input/pad.html" todir="${eth_in}"/>
<exec dir="../etherpad_to_hdoc" executable="run.sh"/> <exec executable="/bin/bash" dir="../etherpad_to_hdoc">
<arg value="../etherpad_to_hdoc/run.sh"/>
</exec>
</target> </target>
<target name="to_optim_unix" if="${is_unix}"> <target name="to_optim_unix" if="${is_unix}">
...@@ -36,7 +38,9 @@ ...@@ -36,7 +38,9 @@
</fileset> </fileset>
</delete> </delete>
<copy file="${eth_out}/pad.hdoc" todir="${opti_in}"/> <copy file="${eth_out}/pad.hdoc" todir="${opti_in}"/>
<exec dir="../hdoc_to_optim" executable="run.sh"/> <exec executable="/bin/bash" dir="../hdoc_to_optim">
<arg value="../hdoc_to_optim/run.sh"/>
</exec>
<copy file="${opti_out}/*.scar" todir="output"/> <copy file="${opti_out}/*.scar" todir="output"/>
</target> </target>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment