* grub-core/Makefile.core.def (kernel): Add kern/i386/int.S to

	extra_dist.

diff --git a/ChangeLog b/ChangeLog
index df31ef3e34369c4ed235ae62ef10320c1b255a9e..db2e0b1f6abf3a28f834fed520d81a29cd016fe2 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-09-29  Mads Kiilerich <mads@kiilerich.com>
+
+       * grub-core/Makefile.core.def (kernel): Add kern/i386/int.S to
+       extra_dist.
+
 2011-09-29  Mario Limonciello <mario_limonciello@dell.com>
 
        * util/misc.c (grub_util_get_disk_size) [__MINGW32__]: Strip trailing

diff --git a/grub-core/Makefile.core.def b/grub-core/Makefile.core.def
index e95d87d37a80b2139c6855e67c3ee44666f6d5b8..e9e4f06d81ad39bb28d6ede88e7e3f4a41641a4b 100644 (file)
--- a/grub-core/Makefile.core.def
+++ b/grub-core/Makefile.core.def
@@ -219,6 +219,7 @@ kernel = {
 
   videoinkernel = commands/boot.c;
 
+  extra_dist = kern/i386/int.S;
   extra_dist = kern/i386/realmode.S;
   extra_dist = kern/i386/pc/lzma_decode.S;
   extra_dist = kern/mips/cache_flush.S;