diff --git a/.gitignore b/.gitignore
index ee340cde44565e126cde648cc9c6f6619a16dc94..78ec2c33970ee55307166fe31df728cfef73366d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -55,3 +55,4 @@ META.frama-c-frama_clang
 .frama-c/
 tempirgen
 /mine/
+/frama-clang-*.tar.gz