git: Ignore some more generated files.
authorRichard Jones <rjones@redhat.com>
Wed, 2 Jun 2010 16:36:42 +0000 (17:36 +0100)
committerRichard Jones <rjones@redhat.com>
Wed, 2 Jun 2010 16:36:42 +0000 (17:36 +0100)
.gitignore

index 448829d..c05d7f6 100644 (file)
@@ -1,10 +1,15 @@
 *~
+*.o
+*.a
+*.so
 CVS
 *.cmi
 *.cmo
 *.cmx
 *.cma
 *.cmxa
+*.bc
+*.opt
 perl4caml-*.tar.gz
 html
 META