diff options
| author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-12-14 14:13:18 +0000 |
|---|---|---|
| committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-12-14 14:13:18 +0000 |
| commit | 96134532ec29f0e91af302b4e98936db54dddbef (patch) | |
| tree | fd0be1a4a4ca72d39edf22ebc0c065e8fb3f2722 /tools/Makefile | |
| parent | 265f7f57f6a8c4b670232218a147511312a41932 (diff) | |
| download | xen-96134532ec29f0e91af302b4e98936db54dddbef.tar.gz xen-96134532ec29f0e91af302b4e98936db54dddbef.tar.bz2 xen-96134532ec29f0e91af302b4e98936db54dddbef.zip | |
Add another package check (python-xml).
Signed-off-by: Jan Beulich <jbeulich@novell.com>
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index b4156fc904..8cc4e1cd31 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -36,7 +36,7 @@ all: check $(MAKE) ioemu .PHONY: install -install: check +install: check_install @set -e; for subdir in $(SUBDIRS-y); do \ $(MAKE) -C $$subdir $@; \ done @@ -58,6 +58,10 @@ distclean: clean check: $(MAKE) -C check +.PHONY: check_install +check_install: check + $(MAKE) -C check install + .PHONY: check_clean check_clean: $(MAKE) -C check clean |