Merge branch 'jit' of ssh://git.nguyen.vg/tatoo into jit

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index d7eda5a..d40deaa 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,5 @@
+gmon.out
+*.dep*
 *.cm*
 *.o
 *.native
@@ -10,7 +12,16 @@ tests/trace/*.svg
 configure
 config.status
 Remakefile
+Makefile
 autom4te.cache
 config.log
 remake
 .remake
+src/xpath/xpath_internal_parser.ml
+src/xpath/xpath_internal_parser.mli
+src/trace_css.ml
+src/trace_js.ml
+tests/xmark*.xml
+tests/xmark*.xml.queries
+*.flags
+tests/saxon9he.jar
\ No newline at end of file