diff options
author | Wojciech Milkowski <wmilkowski@intera.pl> | 2018-10-08 22:35:18 +0200 |
---|---|---|
committer | Wojciech Milkowski <wmilkowski@intera.pl> | 2018-10-08 22:35:18 +0200 |
commit | 3598165c4de330abdcf93c383886e8c2d684d6cf (patch) | |
tree | f2435fb5afe11f1435e41af91be443513e9540fb /platform/android/java | |
parent | 0063ba92075094b7cc9d36f4551080b89e0c0e50 (diff) |
Fix build with Android NDK r18
As a bonus there is no need to use undocumented Gradle API any more.
Diffstat (limited to 'platform/android/java')
-rw-r--r-- | platform/android/java/gradle/wrapper/gradle-wrapper.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/android/java/gradle/wrapper/gradle-wrapper.properties b/platform/android/java/gradle/wrapper/gradle-wrapper.properties index fe37fa74a9..6fb3a79546 100644 --- a/platform/android/java/gradle/wrapper/gradle-wrapper.properties +++ b/platform/android/java/gradle/wrapper/gradle-wrapper.properties @@ -3,4 +3,4 @@ distributionBase=GRADLE_USER_HOME distributionPath=wrapper/dists zipStoreBase=GRADLE_USER_HOME zipStorePath=wrapper/dists -distributionUrl=https\://services.gradle.org/distributions/gradle-4.1-all.zip +distributionUrl=https\://services.gradle.org/distributions/gradle-4.6-all.zip |