makebuildserver: add Gradle 4.2

diff --git a/buildserver/gradle b/buildserver/gradle
index ea178ba86153d462a39bdd86a4312e5849007172..bea94daaa46c768120352ec944188bb3e47d5cea 100755 (executable)
--- a/buildserver/gradle
+++ b/buildserver/gradle
@@ -26,7 +26,7 @@ d_plugin_k=(3.0 2.3    2.2  2.1.3  2.1  2.0 1.5 1.3 1.2   1.1   1.0 0.14 0.13 0.
 d_plugin_v=(4.1 3.3 2.14.1 2.14.1 2.12 2.12 2.4 2.4 2.3 2.2.1 2.2.1  2.1  2.1 1.12 1.12 1.12 1.11 1.10 1.9 1.8 1.6 1.6 1.4 1.4)
 
 # All gradle versions we know about
-plugin_v=(4.1 4.0.2 4.0.1 4.0 3.5.1 3.5 3.4.1 3.4 3.3 3.2.1 3.2 3.1 3.0 2.14.1 2.14 2.13 2.12 2.11 2.10 2.9 2.8 2.7 2.6 2.5 2.4 2.3 2.2.1 2.2 2.1 1.12 1.11 1.10 1.9 1.8 1.7 1.6 1.4)
+plugin_v=(4.2 4.1 4.0.2 4.0.1 4.0 3.5.1 3.5 3.4.1 3.4 3.3 3.2.1 3.2 3.1 3.0 2.14.1 2.14 2.13 2.12 2.11 2.10 2.9 2.8 2.7 2.6 2.5 2.4 2.3 2.2.1 2.2 2.1 1.12 1.11 1.10 1.9 1.8 1.7 1.6 1.4)
 
 v_all=${plugin_v[@]}
 echo "Available gradle versions: ${v_all[@]}"

diff --git a/makebuildserver b/makebuildserver
index e84a6444a179f44c43ec72f334ddc78e196f4dc7..86b9469665401443ad4bc11871f42f51b675581a 100755 (executable)
--- a/makebuildserver
+++ b/makebuildserver
@@ -319,6 +319,8 @@ cachefiles = [
      '79ac421342bd11f6a4f404e0988baa9c1f5fabf07e3c6fa65b0c15c1c31dda22'),
     ('https://services.gradle.org/distributions/gradle-4.1-bin.zip',
      'd55dfa9cfb5a3da86a1c9e75bb0b9507f9a8c8c100793ccec7beb6e259f9ed43'),
+    ('https://services.gradle.org/distributions/gradle-4.2-bin.zip',
+     '515dd63d32e55a9c05667809c5e40a947529de3054444ad274b3b75af5582eae'),
     ('https://dl.google.com/android/ndk/android-ndk-r10e-linux-x86_64.bin',
      '102d6723f67ff1384330d12c45854315d6452d6510286f4e5891e00a5a8f1d5a'),
     ('https://dl.google.com/android/ndk/android-ndk-r9b-linux-x86_64.tar.bz2',