diff --git a/tests/lean/.gitignore b/tests/lean/.gitignore
index 3bb636aca3..e423f8fd20 100644
--- a/tests/lean/.gitignore
+++ b/tests/lean/.gitignore
@@ -1 +1,3 @@
-/readonly.txt
\ No newline at end of file
+/readonly.txt
+/stdout1.txt
+/stdout2.txt