Remove superfluous slash in rsync source path in build.xml

gohai · gohai · commit 69bec8d7a2c3 · 2016-05-27T07:40:25.000+02:00
This didn't break anything, but I noticed the extra slash while looking at this (unrelated) error message:

rsync: change_dir "/home/pi/Downloads/processing-jvm-fonts/build/linux//jdk1.8.0_77/jre" failed: No such file or directory (2)
diff --git a/build/build.xml b/build/build.xml
@@ -835,11 +835,11 @@
     -->
 
     <!-- use the jre subfolder when having downloaded a JDK file -->
-    <condition property="jre.dir" value="jdk${jdk.esoteric}/jre/">
+    <condition property="jre.dir" value="jdk${jdk.esoteric}/jre">
       <!-- property might not be set, but it is for arm -->
       <equals arg1="${jre.download.jdk}" arg2="true" />
     </condition>
-    <condition property="jre.dir" value="jre${jdk.esoteric}/">
+    <condition property="jre.dir" value="jre${jdk.esoteric}">
       <not>
         <equals arg1="${jre.download.jdk}" arg2="true" />
       </not>
