stubdom: fix clean target after distclean

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>

diff --git a/stubdom/Makefile b/stubdom/Makefile
index d6aa8c59400839c2e024c558bb6c9abc1a639c0b..f259079a9ff8687d1c875478142fd02685c93b27 100644 (file)
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -320,8 +320,8 @@ clean:
        $(MAKE) -C caml clean
        $(MAKE) -C c clean
        $(MAKE) -C grub clean
-       $(MAKE) -C libxc clean
-       $(MAKE) -C ioemu clean
+       [ ! -d libxc ] || $$(MAKE) -C libxc clean
+       [ ! -d ioemu ] || $$(MAKE) -C ioemu clean
 
 # clean the cross-compilation result
 .PHONY: crossclean