1 files changed, 4 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 153f5f90..0d7a20c3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,8 @@
 *.cmx
 *.dll
 *.exe
+*.so
+*.dylib
 *.orig
 *.cmo
 *.cmi
@@ -24,3 +26,5 @@
 .hg/
 .hgignore
 lexer.ml
+rustboot
+rustc