diff options
author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-07-25 11:19:48 +0100 |
---|---|---|
committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-07-25 11:19:48 +0100 |
commit | 4be760385586732b6819c6814940768cd196981b (patch) | |
tree | ee9622a35b83020951d8406f0f79a9ca1dc7deac /tools/Makefile | |
parent | 8903f962c4b78a000024e7f2205ce6ccf2bab3a8 (diff) | |
download | xen-4be760385586732b6819c6814940768cd196981b.tar.gz xen-4be760385586732b6819c6814940768cd196981b.tar.bz2 xen-4be760385586732b6819c6814940768cd196981b.zip |
Fix 'make clean' when ioemu configuration failed.
Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 41951d3fca..2a66e89c27 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -61,10 +61,12 @@ check_clean: .PHONY: ioemu ioemuinstall ioemuclean ifdef CONFIG_IOEMU export IOEMU_DIR ?= ioemu -ioemu ioemuinstall ioemuclean: +ioemu ioemuinstall: [ -f $(IOEMU_DIR)/config-host.h ] || \ (cd $(IOEMU_DIR) && sh configure --prefix=/usr) $(MAKE) -C $(IOEMU_DIR) $(patsubst ioemu%,%,$@) +ioemuclean: + [ ! -f $(IOEMU_DIR)/config-host.h ] || $(MAKE) -C $(IOEMU_DIR) clean else ioemu ioemuinstall ioemuclean: endif |