diff --git a/.gitignore b/.gitignore index 153f5f90bb0..0d7a20c3015 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