diff options
Diffstat (limited to 'tools/guest-headers/Makefile')
| -rw-r--r-- | tools/guest-headers/Makefile | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/tools/guest-headers/Makefile b/tools/guest-headers/Makefile index dc1456667f..1c50599a4c 100644 --- a/tools/guest-headers/Makefile +++ b/tools/guest-headers/Makefile @@ -1,5 +1,6 @@ - XEN_ROOT=../.. +include $(XEN_ROOT)/tools/Rules.mk + linuxsparsetree = $(XEN_ROOT)/linux-2.6-xen-sparse .PHONY: all @@ -8,10 +9,15 @@ all: .PHONY: check check: -.PHONY: install -install: +.PHONY: install install-Linux install-SunOS + +install-Linux: mkdir -p $(DESTDIR)/usr/include/xen/linux install -m0644 $(linuxsparsetree)/include/xen/public/*.h $(DESTDIR)/usr/include/xen/linux +install-SunOS: + +install: install-$(XEN_OS) + .PHONY: clean clean: |