diff options
| -rw-r--r-- | test/c/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 *~ |