diff --git a/.gitignore b/.gitignore
index 9d89f1ad..e892e70d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,4 @@ install/installation_done
 /.buildpath
 /.project
 /installed_*/
+/installation_done