debuggers.hg

changeset 18250:f69a23b209c4

Fix stubdom makefile mistake.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Fri Aug 01 15:38:07 2008 +0100 (2008-08-01)
parents c2caa457d85e
children 0c857419d354
files stubdom/Makefile
line diff
     1.1 --- a/stubdom/Makefile	Fri Aug 01 15:25:02 2008 +0100
     1.2 +++ b/stubdom/Makefile	Fri Aug 01 15:38:07 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 -	[ ! -d libxc ] || $$(MAKE) -C libxc clean
     1.8 -	[ ! -d ioemu ] || $$(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