From 70ce599d031f5f899137a07dc019e2500568f492 Mon Sep 17 00:00:00 2001
From: Matt Hayes <matthew.terence.hayes@gmail.com>
Date: Thu, 9 Feb 2012 15:52:09 -0800
Subject: [PATCH] use final.name for jar

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 1a03807..5200195 100644
--- a/build.xml
+++ b/build.xml
@@ -207,7 +207,7 @@
     <delete file="${dist.dir}/${name}-${datafu.version}-orig.jar" />
     <move file="${dist.dir}/${name}-${datafu.version}.jar" tofile="${dist.dir}/${name}-${datafu.version}-orig.jar" />
     <taskdef name="jarjar" classname="com.tonicsystems.jarjar.JarJarTask" classpath="tools/jarjar-1.1.jar"/>
-    <jarjar jarfile="${dist.dir}/${name}-${datafu.version}.jar">
+    <jarjar jarfile="${dist.dir}/${final.name}.jar">
         <zipfileset src="${dist.dir}/${name}-${datafu.version}-orig.jar"/>
         <rule pattern="it.unimi.dsi.fastutil.**" result="datafu.it.unimi.dsi.fastutil.@1"/>
     </jarjar>