Don't discard Plovr version

This commit is contained in:
Tom Payne
2012-07-05 14:07:09 +02:00
committed by Tom Payne
parent ed01a5db13
commit 67105b0256
2 changed files with 4 additions and 3 deletions
+1 -1
View File
@@ -6,5 +6,5 @@
/doc/apidocs/ /doc/apidocs/
/examples/example-list.js /examples/example-list.js
/examples/example-list.xml /examples/example-list.xml
/bin/plovr.jar /bin/plovr*.jar
/jsdoc/ /jsdoc/
+3 -2
View File
@@ -6,7 +6,8 @@
</description> </description>
<property name="ol.home" location=".."/> <property name="ol.home" location=".."/>
<property name="plovr.jar" location="${ol.home}/bin/plovr.jar"/> <property name="plovr.version" value="4b3caf2b7d84"/>
<property name="plovr.jar" location="${ol.home}/bin/plovr-${plovr.version}.jar"/>
<property name="main.json" location="${ol.home}/main.json"/> <property name="main.json" location="${ol.home}/main.json"/>
<property name="build.json" location="${ol.home}/api.json"/> <property name="build.json" location="${ol.home}/api.json"/>
@@ -25,7 +26,7 @@
</condition> </condition>
<target name="deps" unless="plovr.exists"> <target name="deps" unless="plovr.exists">
<get src="http://plovr.googlecode.com/files/plovr-4b3caf2b7d84.jar" <get src="http://plovr.googlecode.com/files/plovr-${plovr.version}.jar"
dest="${plovr.jar}"/> dest="${plovr.jar}"/>
</target> </target>