1 files changed, 3 insertions, 0 deletions
diff --git a/makefile b/makefile
index 2c19d5697..1317b2e02 100644
--- a/makefile
+++ b/makefile
@@ -94,6 +94,9 @@ build:
 	+@$(MAKE) -C core --no-print-directory c
 	+@$(MAKE) -C core --no-print-directory
 
+clean:
+	+@$(MAKE) -C core --no-print-directory c
+
 install:
 	@echo installing to $(destdir) ...
 	@echo plat: $(PLAT)