1 files changed, 4 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 4acfbb0..586f3a7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,7 @@
+/benchmarks/**/*
+!/benchmarks/**/*.*
+!/benchmarks/**/*/
+
 .*.aux
 *.a
 *.cma