diff options
Diffstat (limited to 'stubdom/grub/Makefile')
| -rw-r--r-- | stubdom/grub/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stubdom/grub/Makefile b/stubdom/grub/Makefile index d6e3a1e5b6..6bd2c4c9f1 100644 --- a/stubdom/grub/Makefile +++ b/stubdom/grub/Makefile @@ -60,6 +60,7 @@ NETBOOT_SOURCES:=$(addprefix netboot/,$(NETBOOT_SOURCES)) $(BOOT): DEF_CPPFLAGS+=-D__ASSEMBLY__ PV_GRUB_SOURCES = kexec.c mini-os.c +PV_GRUB_SOURCES += ../polarssl-$(XEN_TARGET_ARCH)/library/sha1.o SOURCES = $(NETBOOT_SOURCES) $(STAGE2_SOURCES) $(PV_GRUB_SOURCES) |