buildserver: update to latest tools and m2repository

diff --git a/makebuildserver b/makebuildserver
index c986b4d47240e9fc4abc8d75607fc99c62a3e1b6..9c11b4de2ec4b04f4ff07c4be86b04c4bdf68c81 100755 (executable)
--- a/makebuildserver
+++ b/makebuildserver
@@ -121,8 +121,8 @@ if config['apt_package_cache']:
     config['aptcachedir'] = cachedir + '/apt/archives'
 
 cachefiles = [
-    ('https://dl.google.com/android/repository/tools_r25.2.2-linux.zip',
-     '10d5185af8fee80a7ee093585bf84962d0a877b92a8fef489e2030e910f6a360'),
+    ('https://dl.google.com/android/repository/tools_r25.2.3-linux.zip',
+     '1b35bcb94e9a686dff6460c8bca903aa0281c6696001067f34ec00093145b560'),
     ('https://dl.google.com/android/repository/android_m2repository_r43.zip',
      '8a9aa55c894f9c79e835e3930654b26cc829c35260463b6868296d65782e18d1'),
     ('https://dl.google.com/android/repository/android-1.5_r04-linux.zip',