use final.name for jar

LinkedInAttic · Feb 9, 2012 · 70ce599 · 70ce599
1 parent 2699e4a
commit 70ce599
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>