Fix stubdom makefile mistake.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/Makefile b/Makefile
index f259079a9ff8687d1c875478142fd02685c93b27..db4305f86512b334141ee80b7f0cdfff31b98867 100644 (file)
--- a/Makefile
+++ b/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