1 files changed, 1 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index cced7da..4da580c 100644
--- a/Makefile
+++ b/Makefile
@@ -236,8 +236,7 @@ clean:
 	rm -f extraction/STAMP extraction/*.ml extraction/*.mli
 	rm -f tools/ndfun
 	$(MAKE) -C runtime clean
-	$(MAKE) -C test/cminor clean
-	$(MAKE) -C test/c clean
+	$(MAKE) -C test clean
 
 distclean:
 	$(MAKE) clean