diff --git a/.gitignore b/.gitignore
index e73debc369c5..2753c9073832 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,7 +17,6 @@ tags
 /doc/NEWS.txt
 /doc/manual.html
 /doc/manual.pdf
-/result
 /source/
 .version-suffix