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

lib/arm64/setjmp.S.

diff --git a/ChangeLog b/ChangeLog
index 3e1ace4af087ba79b3b9eac1cf8d2886e19941bb..33206cdaca11e2ca686df567fd08bc1240fce25d 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 cdb62e2f4d7b22056158cb038cdedf2e974c8644..c2b01d4371c2e8c2fe303a87092120bb85e6dc50 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 = {