copy kawa jar

2018-08-02 21:58:05 -04:00 · 2018-08-02 21:58:05 -04:00 · b9400f816e
parent 82061c83e0
commit b9400f816e
1 changed files with 1 additions and 0 deletions
--- a/com.ibm.wala.core.testdata/build.xml
+++ b/com.ibm.wala.core.testdata/build.xml
@ -119,6 +119,7 @@
 	    <arg line="ftp://ftp.gnu.org/pub/gnu/kawa/kawa-3.0.zip"/>
 	  </exec>	
 	  <unzip src="${temp.folder}/kawa-3.0.zip" dest="${plugin.destination}"/>
+	  <copy file="${plugin.destination}/kawa-3.0/lib/kawa.jar" todir="${plugin.destination}/kawa.jar" failonerror="false" overwrite="false"/>
 	  <delete dir="${temp.folder}"/>
 	</target>