From d069f0900e270da343a7486ac9dc36e1caffab99 Mon Sep 17 00:00:00 2001
From: Mitch Seaman <mjseaman@users.noreply.github.com>
Date: Fri, 29 Oct 2021 12:24:17 +0200
Subject: [PATCH] Update number of files that must be open (#41081)

2048 was not enough :)
---
 contribute/developer-guide.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contribute/developer-guide.md b/contribute/developer-guide.md
index 911463b0b7f..6f0ed401a69 100644
--- a/contribute/developer-guide.md
+++ b/contribute/developer-guide.md
@@ -212,7 +212,7 @@ ulimit -a
 To change the number of open files allowed, run:
 
 ```
-ulimit -S -n 2048
+ulimit -S -n 4096
 ```
 
 The number of files needed may be different on your environment. To determine the number of open files needed by `make run`, run: