From f1673f86fd358706beb7b5ce357eb4e0ff1d970a Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 31 Jul 2014 12:10:10 +0100
Subject: [PATCH] Add .gitignore file.

---
 .gitignore | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..ec8f467
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,25 @@
+*~
+*.cmi
+*.cmo
+*.cmx
+*.cma
+*.cmxa
+*.o
+*.a
+*.so
+*.opt
+
+/autom4te.cache
+/bitstring-objinfo
+/bitstring_config.ml
+/cil-tools/Makefile
+/config.h
+/config.h.in
+/config.log
+/config.status
+/configure
+/create_test_pattern
+/META
+/Makefile
+/tests/80_testdata/*.actual
+/tests/test.bmpp
-- 
1.8.3.1