From 08575b87304810f6c1a75ab10186636836b57613 Mon Sep 17 00:00:00 2001
From: François Pottier <francois.pottier@inria.fr>
Date: Fri, 23 Oct 2015 13:51:12 +0200
Subject: Added a few cleanup commands in [make clean].

---
 Makefile.extr | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index fce0d933..4e2549cc 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -165,7 +165,8 @@ clean:
 	rm -f $(EXECUTABLES)
 	rm -f $(GENERATED)
 	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
-	rm -f cparser/pre_parser.automaton backend/CMparser.automaton
+	rm -f backend/CMparser.automaton
+	$(MAKE) -C cparser clean
 
 # Generation of .depend.extr
 
-- 
cgit