From 7e9c6fc9a51adc5e488c590d83c1e8ef5a256c9f Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 29 Dec 2012 15:30:45 +0000 Subject: Fix "clean" rule. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2082 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/c/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/c') diff --git a/test/c/Makefile b/test/c/Makefile index 5fd3f55..2b445d2 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -66,4 +66,4 @@ bench: clean: rm -f *.compcert *.gcc - rm -f *.light.c *.compcert.c *.s *.o *~ + rm -f *.light.c *.parsed.c *.s *.o *~ -- cgit v1.2.3