globalmaphack: be more general (fmap, factoring, ...)

[mate.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index c5f7ddd0280912a7c6fb202b3ff964d23e9a9567..d48b83db78856e970908ac4a43490596346c91fa 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,9 @@
 *.o
 *.class
 mate
+mate.static
 mate.dbg
+mate.prof
 tags
 *.swp
 *_stub.c
@@ -11,3 +13,4 @@ tags
 *.o-boot
 dist
 *.jar
+tools/hs-boehmgc