From 84b0112efdff702b1774287626ee56812f0cb953 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 1 May 2013 12:44:49 +0000
Subject: Clean up 'make clean'

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2229 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3