1 files changed, 8 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index fc387e39..15cfd622 100644
--- a/.gitignore
+++ b/.gitignore
@@ -37,7 +37,15 @@ cparser/Parser.v
 cparser/Lexer.ml
 cparser/pre_parser.ml
 cparser/pre_parser.mli
+cparser/pre_parser_messages.ml
 cparser/pre_parser.automaton
+cparser/pre_parser.messages
+cparser/handcrafted.messages.bak
+cparser/handcrafted.messages.raw
+cparser/deLexer
+cparser/tests/generated/*.c
+cparser/tests/generated/*.err
+backend/CMparser.automaton
 lib/Readconfig.ml
 lib/Tokenize.ml
 driver/Version.ml