From 0c0eab527f242852bda288dc0d9761d5e3d58512 Mon Sep 17 00:00:00 2001
From: Colin Watson <cjwatson@ubuntu.com>
Date: Tue, 3 Dec 2013 18:11:18 +0000
Subject: [PATCH] * grub-core/Makefile.core.def (setjmp): Distribute
 lib/arm64/setjmp.S.

---
 ChangeLog                   | 5 +++++
 grub-core/Makefile.core.def | 1 +
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 3e1ace4af..33206cdac 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-12-03  Colin Watson  <cjwatson@ubuntu.com>
+
+	* grub-core/Makefile.core.def (setjmp): Distribute
+	lib/arm64/setjmp.S.
+
 2013-12-03  Colin Watson  <cjwatson@ubuntu.com>
 
 	Add a new timeout_style environment variable and a corresponding
diff --git a/grub-core/Makefile.core.def b/grub-core/Makefile.core.def
index cdb62e2f4..c2b01d437 100644
--- a/grub-core/Makefile.core.def
+++ b/grub-core/Makefile.core.def
@@ -1571,6 +1571,7 @@ module = {
   extra_dist = lib/ia64/setjmp.S;
   extra_dist = lib/ia64/longjmp.S;
   extra_dist = lib/arm/setjmp.S;
+  extra_dist = lib/arm64/setjmp.S;
 };
 
 module = {