This commit is contained in:
Julian Dolby 2018-08-02 21:20:06 -04:00
parent 834927239c
commit 415fd39f0d
1 changed files with 2 additions and 2 deletions

View File

@ -116,9 +116,9 @@
<delete dir="${temp.folder}"/>
<mkdir dir="${temp.folder}"/>
<exec executable="wget" dir="${temp.folder}">
<arg line="ftp://ftp.gnu.org/pub/gnu/kawa/kawa-latest.zip"/>
<arg line="ftp://ftp.gnu.org/pub/gnu/kawa/kawa-3.0.zip"/>
</exec>
<unzip src="${temp.folder}/kawa.zip" dest="${plugin.destination}"/>
<unzip src="${temp.folder}/kawa-3.0.zip" dest="${plugin.destination}"/>
<delete dir="${temp.folder}"/>
</target>