android: Use NDK 17 for aarch32

2018-06-22 09:33:25 -04:00
parent fc048073e6
commit cf09ffe9aa
3 changed files with 5 additions and 7 deletions
@@ -18,12 +18,12 @@ let
    "armv5tel-unknown-linux-androideabi" = {
      arch = "arm";
      triple = "arm-linux-androideabi";
-      gccVer = "4.8";
+      gccVer = "4.9";
    };
    "armv7a-unknown-linux-androideabi" = {
      arch = "arm";
      triple = "arm-linux-androideabi";
-      gccVer = "4.8";
+      gccVer = "4.9";
    };
    "aarch64-unknown-linux-android" = {
      arch = "arm64";