diff options
Diffstat (limited to 'stubdom')
-rw-r--r-- | stubdom/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index 32f0daf63d..9caccc45b6 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -292,7 +292,7 @@ endif mk-headers-$(XEN_TARGET_ARCH): ioemu/linkfarm.stamp mkdir -p include/xen && \ ln -sf $(wildcard $(XEN_ROOT)/xen/include/public/*.h) include/xen && \ - ln -sf $(addprefix $(XEN_ROOT)/xen/include/public/,arch-ia64 arch-x86 hvm io xsm) include/xen && \ + ln -sf $(addprefix $(XEN_ROOT)/xen/include/public/,arch-x86 hvm io xsm) include/xen && \ ( [ -h include/xen/sys ] || ln -sf $(XEN_ROOT)/tools/include/xen-sys/MiniOS include/xen/sys ) && \ ( [ -h include/xen/libelf ] || ln -sf $(XEN_ROOT)/tools/include/xen/libelf include/xen/libelf ) && \ mkdir -p include/xen-foreign && \ |