diff --git a/stubdom/Makefile b/stubdom/Makefile
index 58ca08cb20..6e6876b1aa 100644
--- a/stubdom/Makefile
+++ b/stubdom/Makefile
@@ -504,7 +504,6 @@ clean:
 	rm -fr mini-os-$(XEN_TARGET_ARCH)-xenstore
 	rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpm
 	rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpmmgr
-	$(MAKE) DESTDIR= -C $(MINI_OS) clean
 	$(MAKE) DESTDIR= -C caml clean
 	$(MAKE) DESTDIR= -C c clean
 	$(MAKE) -C vtpm clean