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 /extras/mini-os/include/err.h | |
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 'extras/mini-os/include/err.h')
0 files changed, 0 insertions, 0 deletions