Fix failing make dist

diff --git a/grub-core/Makefile.core.def b/grub-core/Makefile.core.def
index 709fd6cd73b97bd4d5c7534e0aedee282015fdb4..8533d31319353f3948fe573307648cd7b64bcde6 100644 (file)
--- a/grub-core/Makefile.core.def
+++ b/grub-core/Makefile.core.def
@@ -166,7 +166,6 @@ kernel = {
   emu = kern/emu/mm.c;
   emu = kern/emu/time.c;
 
-  extra_dist = kern/i386/loader.S;
   extra_dist = kern/i386/realmode.S;
   extra_dist = kern/i386/pc/lzma_decode.S;
 };