chiark / gitweb /
Fix buildserver build_tools version
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 11 Mar 2014 16:37:42 +0000 (17:37 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 11 Mar 2014 16:37:42 +0000 (17:37 +0100)
buildserver/config.buildserver.py

index 924ebdfc6d67fbff281d1061ddaf73293c07fae5..0101c3c2e7829d9252c07336e695d54c53f0589e 100644 (file)
@@ -1,6 +1,6 @@
 sdk_path = "/home/vagrant/android-sdk"
 ndk_path = "/home/vagrant/android-ndk"
-build_tools = "19.0.2"
+build_tools = "19.0.3"
 ant = "ant"
 mvn3 = "mvn"
 gradle = "gradle"