diff --git a/tests/lean/.gitignore b/tests/lean/.gitignore
new file mode 100644
index 0000000000..3bb636aca3
--- /dev/null
+++ b/tests/lean/.gitignore
@@ -0,0 +1 @@
+/readonly.txt
\ No newline at end of file
diff --git a/tests/lean/run/.gitignore b/tests/lean/run/.gitignore
new file mode 100644
index 0000000000..ef22906aaf
--- /dev/null
+++ b/tests/lean/run/.gitignore
@@ -0,0 +1,4 @@
+/foo.txt
+/foo2.txt
+/print_error.lean.cpp
+/print_error.lean.out