debuggers.hg

changeset 18249:c2caa457d85e

stubdom: fix clean target after distclean

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Fri Aug 01 15:25:02 2008 +0100 (2008-08-01)
parents 8951c3b84e2a
children f69a23b209c4
files stubdom/Makefile
line diff
     1.1 --- a/stubdom/Makefile	Fri Aug 01 09:54:54 2008 +0100
     1.2 +++ b/stubdom/Makefile	Fri Aug 01 15:25:02 2008 +0100
     1.3 @@ -320,8 +320,8 @@ clean:
     1.4  	$(MAKE) -C caml clean
     1.5  	$(MAKE) -C c clean
     1.6  	$(MAKE) -C grub clean
     1.7 -	$(MAKE) -C libxc clean
     1.8 -	$(MAKE) -C ioemu clean
     1.9 +	[ ! -d libxc ] || $$(MAKE) -C libxc clean
    1.10 +	[ ! -d ioemu ] || $$(MAKE) -C ioemu clean
    1.11  
    1.12  # clean the cross-compilation result
    1.13  .PHONY: crossclean