diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-08-04 16:44:14 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-08-04 16:44:14 +0100 |
commit | 10f71cbcc910500b31c59e082c3b0e477e704713 (patch) | |
tree | ab5abae570397bbf31d55cd4e398813c8bef8d1c /Makefile | |
parent | 3adee298e7ffe07d82105cae81d75f76ec85df8a (diff) | |
download | xen-10f71cbcc910500b31c59e082c3b0e477e704713.tar.gz xen-10f71cbcc910500b31c59e082c3b0e477e704713.tar.bz2 xen-10f71cbcc910500b31c59e082c3b0e477e704713.zip |
Fix make help for stubdom
This patch fixes "make help".
"make stubdomain" does not work.
Signed-off-by: Akio Takebe <takebe_akio@jp.fujitsu.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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' |