diff --git a/.gitignore b/.gitignore
index f0807473f06b..e9d2f987259d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,7 +16,6 @@ repl-result-*
 /doc/NEWS.txt
 /doc/manual.html
 /doc/manual.pdf
-/result
 /source/
 .version-suffix