From 8941404e6398051fe66d5f2500729e84d2ca0d07 Mon Sep 17 00:00:00 2001
From: Lazar Obradovic <laz.obradovic@gmail.com>
Date: Tue, 2 Jan 2018 00:17:21 +0100
Subject: [PATCH] get.py: identify aarch64 properly (#4050)

---
 tools/get.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/get.py b/tools/get.py
index f6ef686cd..c9750ae03 100755
--- a/tools/get.py
+++ b/tools/get.py
@@ -102,7 +102,7 @@ def identify_platform():
     if sys.maxsize > 2**32:
         bits = 64
     sys_name = platform.system()
-    if 'Linux' in sys_name and platform.platform().find('arm') > 0:
+    if 'Linux' in sys_name and (platform.platform().find('arm') > 0 or platform.platform().find('aarch64') > 0):
         sys_name = 'LinuxARM'
     if 'CYGWIN_NT' in sys_name:
         sys_name = 'Windows'