diff --git a/.gitignore b/.gitignore
index df3a00d1c8e8f47fed94f2b8364684b60c5e30ce..d89520f26e44993661deb917dd0187e34559b013 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,3 +17,4 @@ dune-common-*.tar.gz
 dune-common-?.?
 ltmain.sh
 dune
+.libs