A10 r39 => r40

phhusson · Jul 6, 2020 · 6c770f3 · 6c770f3
1 parent 1d17840
commit 6c770f3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build.sh b/build.sh
@@ -20,7 +20,7 @@ if [ "$1" == "android-9.0" ];then
     phh="android-9.0"
 elif [ "$1" == "android-10.0" ];then
     manifest_url="https://android.googlesource.com/platform/manifest"
-    aosp="android-10.0.0_r39"
+    aosp="android-10.0.0_r40"
     phh="android-10.0"
 fi
 

diff --git a/cloud/docker.sh b/cloud/docker.sh
@@ -23,7 +23,7 @@ run_script () {
 
 orig_docker="$(which docker)"
 docker() {
-    $orig_docker --tlsverify=false "$@"
+    $orig_docker "$@"
 }
 
 trap 'cleanup' ERR