From: Daniel Martí <mvdan@mvdan.cc>
Date: Tue, 23 Feb 2016 12:26:00 +0000 (+0000)
Subject: config.buildserver.py: use new java_paths keys
X-Git-Tag: 0.7.0~101
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=3fbe4cc8f231b61bc5968bae3880b65820b76c07;p=fdroidserver.git

config.buildserver.py: use new java_paths keys
---

diff --git a/buildserver/config.buildserver.py b/buildserver/config.buildserver.py
index 61c57a39..b14d6869 100644
--- a/buildserver/config.buildserver.py
+++ b/buildserver/config.buildserver.py
@@ -4,6 +4,6 @@ ndk_paths = {
     'r10e': "/home/vagrant/android-ndk/r10e",
 }
 java_paths = {
-    '1.7': "/usr/lib/jvm/java-7-openjdk-i386",
-    '1.8': "/usr/lib/jvm/java-8-openjdk-i386",
+    '7': "/usr/lib/jvm/java-7-openjdk-i386",
+    '8': "/usr/lib/jvm/java-8-openjdk-i386",
 }