1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 1eb13a29..771654d7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -31,10 +31,12 @@
 /Makefile.config
 /.merlin
 /_CoqProject
+/compile.pl
 # Generated files
 /.depend
 /.depend.extr
 /compcert.ini
+/compcert.config
 /x86/ConstpropOp.v
 /x86/SelectOp.v
 /x86/SelectLong.v