aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2019-03-08 08:04:50 -0800
committerAlec Theriault <alec.theriault@gmail.com>2019-03-09 11:22:55 -0800
commit50cf001765123a6c787795dda50aaefa5f2beed7 (patch)
tree0d9ff0256e9f1d762754abe15b8ed00615c2c327 /.gitignore
parent6c53d18eb2f4e39177174a93d9a8a981a6597962 (diff)
Add .hi, .dyn_hi, etc files to .gitignore
Fixes #1030.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore6
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index d65138d1..a6e1099c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,12 @@
/latex-test/out/
/hoogle-test/out/
+*.o
+*.hi
+*.dyn_o
+*.dyn_hi
+*.hp
+
/doc/haddock
/doc/haddock.ps
/doc/haddock.pdf