1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 1eb13a29..1d6cad94 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,6 +21,7 @@
 # Emacs saves
 *~
 # Executables and configuration
+/tools/compiler_expand
 /ccomp
 /ccomp.byte
 /ccomp.prof
@@ -31,10 +32,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