From e036d68cb41de1ddac47d7686d25904281405ffe Mon Sep 17 00:00:00 2001 From: François Pottier Date: Fri, 23 Oct 2015 11:19:36 +0200 Subject: Makefile.extr: [make clean] removes .automaton files. --- Makefile.extr | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile.extr') diff --git a/Makefile.extr b/Makefile.extr index 6c19d1ed..6a03f1e1 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -160,6 +160,7 @@ 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 # Generation of .depend.extr -- cgit