From 10f71cbcc910500b31c59e082c3b0e477e704713 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Mon, 4 Aug 2008 16:44:14 +0100 Subject: Fix make help for stubdom This patch fixes "make help". "make stubdomain" does not work. Signed-off-by: Akio Takebe --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 35a09a6aa7..39aff692bc 100644 --- a/Makefile +++ b/Makefile @@ -149,7 +149,7 @@ help: @echo ' trees then make dist' @echo ' xen - build and install Xen hypervisor' @echo ' tools - build and install tools' - @echo ' stubdomain - build and install the stubdomain images' + @echo ' stubdom - build and install the stubdomain images' @echo ' kernels - build and install guest kernels' @echo ' kbuild - synonym for make kernels' @echo ' docs - build and install user documentation' -- cgit v1.2.3