[Xen-changelog] [xen-unstable] Revert Makefile changes from 13023:70155087efe89 -- they break make dist.

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User Ewan Mellor <ewan@xxxxxxxxxxxxx>
# Node ID c3425346188cddeb7a917c072a91a89c62063106
# Parent  00199ed97fabffc636fb053dfc179c49b0279d84
Revert Makefile changes from 13023:70155087efe89 -- they break make dist.

Signed-off-by: Ewan Mellor <ewan@xxxxxxxxxxxxx>
---
 tools/Makefile |    6 +-----
 1 files changed, 1 insertion(+), 5 deletions(-)

diff -r 00199ed97fab -r c3425346188c tools/Makefile
--- a/tools/Makefile    Fri Dec 15 09:38:56 2006 +0000
+++ b/tools/Makefile    Fri Dec 15 09:39:26 2006 +0000
@@ -36,7 +36,7 @@ all: check
        $(MAKE) ioemu
 
 .PHONY: install
-install: check_install
+install: check
        @set -e; for subdir in $(SUBDIRS-y); do \
                $(MAKE) -C $$subdir $@; \
        done
@@ -58,10 +58,6 @@ check:
 check:
        $(MAKE) -C check
 
-.PHONY: check_install
-check_install: check
-       $(MAKE) -C check install
-
 .PHONY: check_clean
 check_clean:
        $(MAKE) -C check clean

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog