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 9a69b9e..2925cef 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
 gmon.out
-*.dep
+*.dep*
 *.cm*
 *.o
 *.native