diff options
Diffstat (limited to 'stubdom')
| -rw-r--r-- | stubdom/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index 15048f08a1..43e8e9217b 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -265,9 +265,11 @@ $(TARGETS_MINIOS): mini-os-%: .PHONY: libxc libxc: libxc-$(XEN_TARGET_ARCH)/libxenctrl.a libxc-$(XEN_TARGET_ARCH)/libxenguest.a -libxc-$(XEN_TARGET_ARCH)/libxenctrl.a libxc-$(XEN_TARGET_ARCH)/libxenguest.a:: cross-zlib +libxc-$(XEN_TARGET_ARCH)/libxenctrl.a: cross-zlib CPPFLAGS="$(TARGET_CPPFLAGS)" CFLAGS="$(TARGET_CFLAGS)" $(MAKE) -C libxc-$(XEN_TARGET_ARCH) + libxc-$(XEN_TARGET_ARCH)/libxenguest.a: libxc-$(XEN_TARGET_ARCH)/libxenctrl.a + ####### # ioemu ####### |