From 3ac111c8d0f1ef467aa443b67ff4fd64376d80ec Mon Sep 17 00:00:00 2001
From: gnzlbg <gonzalobg88@gmail.com>
Date: Wed, 15 May 2019 19:55:16 +0200
Subject: [PATCH] Try to fix builds of the Android SDK

---
 ci/android-install-sdk.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ci/android-install-sdk.sh b/ci/android-install-sdk.sh
index 64cfbf11..e011cfc3 100644
--- a/ci/android-install-sdk.sh
+++ b/ci/android-install-sdk.sh
@@ -45,6 +45,9 @@ case "$1" in
     ;;
 esac;
 
+# See: https://stackoverflow.com/a/51644855/1422197
+export JAVA_OPTS='-XX:+IgnoreUnrecognizedVMOptions --add-modules java.se.ee'
+
 # --no_https avoids
      # javax.net.ssl.SSLHandshakeException: sun.security.validator.ValidatorException: No trusted certificate found
 yes | ./sdk/tools/bin/sdkmanager --licenses --no_https