diff options
-rw-r--r-- | arch/x86/Makefile_32 | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/arch/x86/Makefile_32 b/arch/x86/Makefile_32 index 92142247..5c6724de 100644 --- a/arch/x86/Makefile_32 +++ b/arch/x86/Makefile_32 @@ -149,9 +149,13 @@ zdisk bzdisk: vmlinux fdimage fdimage144 fdimage288 isoimage: vmlinux $(Q)$(MAKE) $(build)=$(boot) BOOTIMAGE=$(KBUILD_IMAGE) $@ -install: +install: vdso_install $(Q)$(MAKE) $(build)=$(boot) BOOTIMAGE=$(KBUILD_IMAGE) install +PHONY += vdso_install +vdso_install: + $(Q)$(MAKE) $(build)=arch/x86/vdso $@ + archclean: $(Q)rm -rf $(objtree)/arch/i386 $(Q)rm -rf $(objtree)/arch/x86_64 |