diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -22,7 +22,7 @@ endif install: install-xen install-kernels install-tools install-docs .PHONY: build -build: kernels +build: kernels build-headers $(MAKE) -C xen build $(MAKE) -C tools build $(MAKE) -C docs build @@ -59,11 +59,11 @@ prep-kernels: for i in $(XKERNELS) ; do $(MAKE) $$i-prep || exit 1; done .PHONY: install-xen -install-xen: +install-xen: build-headers $(MAKE) -C xen install .PHONY: install-tools -install-tools: +install-tools: build-headers $(MAKE) -C tools install .PHONY: install-kernels @@ -82,6 +82,11 @@ dev-docs: .PHONY: kbuild kbuild: kernels +# generate header files +.PHONY: build-headers +build-headers: + $(MAKE) -C xen/include/public/foreign + # Delete the kernel build trees entirely .PHONY: kdelete kdelete: |