debuggers.hg
changeset 18249:c2caa457d85e
stubdom: fix clean target after distclean
Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
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