From 5c98c6fb71b0cc752b7c5baa457cdc73a3eaa585 Mon Sep 17 00:00:00 2001
From: rdb <git@rdb.name>
Date: Thu, 24 Dec 2020 13:21:35 +0100
Subject: [PATCH] makepanda: accept arm64 as alias for aarch64 when building
 for Android

---
 makepanda/makepandacore.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/makepanda/makepandacore.py b/makepanda/makepandacore.py
index de8fd0a991..61a1bdf9bc 100644
--- a/makepanda/makepandacore.py
+++ b/makepanda/makepandacore.py
@@ -393,6 +393,9 @@ def SetTarget(target, arch=None):
             else:
                 arch = 'armv7a'
 
+        if arch == 'arm64':
+            arch = 'aarch64'
+
         # Did we specify an API level?
         global ANDROID_API
         target, _, api = target.partition('-')