From 269d43f9a2526321ad71c8f5fc44d3bc14e97f2b Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Fri, 1 Aug 2008 15:38:07 +0100 Subject: [PATCH] Fix stubdom makefile mistake. Signed-off-by: Keir Fraser --- stubdom/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/stubdom/Makefile b/stubdom/Makefile index f259079a9f..db4305f865 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -320,8 +320,8 @@ clean: $(MAKE) -C caml clean $(MAKE) -C c clean $(MAKE) -C grub clean - [ ! -d libxc ] || $$(MAKE) -C libxc clean - [ ! -d ioemu ] || $$(MAKE) -C ioemu clean + [ ! -d libxc ] || $(MAKE) -C libxc clean + [ ! -d ioemu ] || $(MAKE) -C ioemu clean # clean the cross-compilation result .PHONY: crossclean -- 2.30.2