From a37e84be69310cd7de9540c8bc194cb0a6d158ed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Storsj=C3=B6?= Date: Wed, 13 Sep 2017 23:05:50 +0300 Subject: [PATCH] makedef: Add support for identifying the ARM64 machine type MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Since this machine type is 5 chars while the existing ones only were 3 (which the regexp assumed), the regexp has to be extended a little. Signed-off-by: Martin Storsjö --- compat/windows/makedef | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compat/windows/makedef b/compat/windows/makedef index fd7959a745..0cd169c15c 100755 --- a/compat/windows/makedef +++ b/compat/windows/makedef @@ -74,12 +74,12 @@ else tr '\t' ' ' | grep '^ \+.\+machine \+(.\+)' | head -1 | - sed -e 's/^ \{1,\}.\{1,\} \{1,\}machine \{1,\}(\(...\)).*/\1/') + sed -e 's/^ \{1,\}.\{1,\} \{1,\}machine \{1,\}(\(.\{3,5\}\)).*/\1/') if [ "${arch}" = "x86" ]; then prefix="_" else - if [ "${arch}" != "ARM" ] && [ "${arch}" != "x64" ]; then + if [ "${arch}" != "ARM" ] && [ "${arch}" != "x64" ] && [ "${arch}" != "ARM64" ]; then echo "Unknown machine type." >&2 exit 1 fi