aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 804db56f32..7a6773b1c2 100644
--- a/Makefile
+++ b/Makefile
@@ -35,11 +35,11 @@ ifeq ($(XEN_TARGET_X86_PAE),y)
export pae=y
endif
-.PHONY: all dist install xen tools kernels docs world clean mkpatches mrproper
+.PHONY: all dist install xen kernels tools docs world clean mkpatches mrproper
.PHONY: kbuild kdelete kclean
# build and install everything into the standard system directories
-install: install-xen install-tools install-kernels install-docs
+install: install-xen install-kernels install-tools install-docs
build: kernels
$(MAKE) -C xen build
@@ -47,7 +47,7 @@ build: kernels
$(MAKE) -C docs build
# build and install everything into local dist directory
-dist: xen tools kernels docs
+dist: xen kernels tools docs
$(INSTALL_DIR) $(DISTDIR)/check
$(INSTALL_DATA) ./COPYING $(DISTDIR)
$(INSTALL_DATA) ./README $(DISTDIR)