* grub-core/Makefile.core.def (setjmp): Distribute

lib/arm64/setjmp.S.

diff --git a/ChangeLog b/ChangeLog
index 3e1ace4..33206cd 100644 (file)
--- 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 cdb62e2..c2b01d4 100644 (file)
--- 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 = {