DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

temporary patch to keep build.xml file working

This commit is contained in:
Manu Sridharan 2013-05-13 13:46:11 -07:00
parent 16a0e02fa0
commit 0b557ac685
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.cast.js.rhino/build.xml
View File

@ -33,7 +33,7 @@
<property name="bundleBootClasspath" value="${bootclasspath}"/>
<target name="RhinoPresent" depends="init">
<available file="${plugin.destination}/lib/js.jar" property="rhino.present"/>
<available file="${plugin.destination}/lib/rhino-1.7R3.jar" property="rhino.present"/>
</target>
<target name="fetchRhino" depends="RhinoPresent" unless="rhino.present">
@ -41,7 +41,7 @@
<mkdir dir="${temp.folder}"/>
<get src="http://ftp.mozilla.org/pub/mozilla.org/js/rhino1_7R3.zip" dest="${temp.folder}/rhino1_7R3.zip" />
<unzip src="${temp.folder}/rhino1_7R3.zip" dest="${temp.folder}"/>
<copy file="${temp.folder}/rhino1_7R3/js.jar" tofile="${plugin.destination}/lib/js.jar" />
<copy file="${temp.folder}/rhino1_7R3/js.jar" tofile="${plugin.destination}/lib/rhino-1.7R3.jar" />
<delete dir="${temp.folder}"/>
</target>