diff options
Diffstat (limited to 'tools/include/Makefile')
| -rw-r--r-- | tools/include/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/include/Makefile b/tools/include/Makefile index 6c41dc3211..866fe0a47f 100644 --- a/tools/include/Makefile +++ b/tools/include/Makefile @@ -11,7 +11,7 @@ all: ln -sf ../$(XEN_ROOT)/xen/include/public/COPYING xen ln -sf $(addprefix ../,$(wildcard $(XEN_ROOT)/xen/include/public/*.h)) xen ln -sf $(addprefix ../$(XEN_ROOT)/xen/include/public/,arch-ia64 arch-x86 hvm io xsm) xen - ln -sf ../$(XEN_OS) xen/sys + ln -sf ../xen-sys/$(XEN_OS) xen/sys $(MAKE) -C xen-foreign ln -s ../xen-foreign xen/foreign touch $@ |