From 3fbbbd0f353cc3ae741d746bec5b251b9f232c9d Mon Sep 17 00:00:00 2001
From: Marc Beninca <git@marc.beninca.link>
Date: Wed, 13 Dec 2023 13:02:12 +0100
Subject: [PATCH] arm64-efi

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 9c267b8..0444b5f 100755
--- a/build.sh
+++ b/build.sh
@@ -316,7 +316,7 @@ gpg --export "${PGP_PUB}" > "${GRUB_PUB}"
 
 # grub / modules ⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅
 
-for target in 'x86_64-efi' 'i386-pc' ; do
+for target in 'x86_64-efi' 'i386-pc' 'arm64-efi' ; do
     echo -n "
 ↙ /usr/lib/grub/${target}
 ↘ ${GRUB_ROOT}/${target}