direct-io.hg

changeset 10714:7d6f0791c650

Fix 'make clean' when ioemu configuration failed.
Signed-off-by: Keir Fraser <keir@xensource.com>
author kfraser@localhost.localdomain
date Tue Jul 25 11:19:48 2006 +0100 (2006-07-25)
parents cc991d9953d2
children 6b08035e10c5
files tools/Makefile
line diff
     1.1 --- a/tools/Makefile	Tue Jul 25 10:59:02 2006 +0100
     1.2 +++ b/tools/Makefile	Tue Jul 25 11:19:48 2006 +0100
     1.3 @@ -61,10 +61,12 @@ check_clean:
     1.4  .PHONY: ioemu ioemuinstall ioemuclean
     1.5  ifdef CONFIG_IOEMU
     1.6  export IOEMU_DIR ?= ioemu
     1.7 -ioemu ioemuinstall ioemuclean:
     1.8 +ioemu ioemuinstall:
     1.9  	[ -f $(IOEMU_DIR)/config-host.h ] || \
    1.10  	(cd $(IOEMU_DIR) && sh configure --prefix=/usr)
    1.11  	$(MAKE) -C $(IOEMU_DIR) $(patsubst ioemu%,%,$@)
    1.12 +ioemuclean:
    1.13 +	[ ! -f $(IOEMU_DIR)/config-host.h ] || $(MAKE) -C $(IOEMU_DIR) clean
    1.14  else
    1.15  ioemu ioemuinstall ioemuclean:
    1.16  endif