Forgot to update config.buildserver.py

diff --git a/config.buildserver.py b/config.buildserver.py
index 08c5228899f846f17479e6fc7efd618d5afdf37b..313833063a79c68f06ce30836b9035598f22f5d0 100644 (file)
--- a/config.buildserver.py
+++ b/config.buildserver.py
@@ -1,5 +1,7 @@
-aapt_path = "/home/vagrant/android-sdk/platform-tools/aapt"
 sdk_path = "/home/vagrant/android-sdk"
 ndk_path = "/home/vagrant/android-ndk"
+build_tools = "18.0.1"
 javacc_path = "/usr/share/java"
 mvn3 = "mvn"
+gradle = "gradle"
+gradle_plugin = "0.5.+"