Fix a bug in the build script that was causing some .cmo files to have a false depend...

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 8810ca0..2925cef 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
-*.dep
+gmon.out
+*.dep*
 *.cm*
 *.o
 *.native