1 files changed, 7 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore
index 02379a3b..8a049f0c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,16 +24,20 @@ tools/ndfun
 tools/modorder
 Makefile.config
 # Generated files
+.depend
 .depend.extr
 compcert.ini
-ia32/ConstpropOp.v
-ia32/SelectOp.v
+x86/ConstpropOp.v
+x86/SelectOp.v
+x86/SelectLong.v
 powerpc/ConstpropOp.v
 powerpc/SelectOp.v
+powerpc/SelectLong.v
 arm/ConstpropOp.v
 arm/SelectOp.v
+arm/SelectLong.v
 backend/SelectDiv.v
-backend/SelectLong.v
+backend/SplitLong.v
 backend/CMlexer.ml
 backend/CMparser.ml
 backend/CMparser.mli