From 67105b025607d6f758db429075ad27937a8f2316 Mon Sep 17 00:00:00 2001
From: Tom Payne <twpayne@gmail.com>
Date: Thu, 5 Jul 2012 14:07:09 +0200
Subject: [PATCH] Don't discard Plovr version

---
 .gitignore    | 2 +-
 bin/build.xml | 5 +++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index 5a441f074c..fa2d94b7a5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,5 +6,5 @@
 /doc/apidocs/
 /examples/example-list.js
 /examples/example-list.xml
-/bin/plovr.jar
+/bin/plovr*.jar
 /jsdoc/
diff --git a/bin/build.xml b/bin/build.xml
index 5c51c4a784..c70e948a9a 100644
--- a/bin/build.xml
+++ b/bin/build.xml
@@ -6,7 +6,8 @@
     </description>
     
     <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="build.json" location="${ol.home}/api.json"/>
 
@@ -25,7 +26,7 @@
     </condition>
     
     <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}"/>
     </target>