debuggers.hg
changeset 18250:f69a23b209c4
Fix stubdom makefile mistake.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
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