From bf5fa22e588e9e3432a749afae07f06fc1f2f3ad Mon Sep 17 00:00:00 2001
From: Marc Huisinga <mhuisi@protonmail.com>
Date: Wed, 24 Jul 2024 14:51:20 +0200
Subject: [PATCH] fix: accidental stdin inheritance in lake

---
 src/lake/Lake/Util/Proc.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lake/Lake/Util/Proc.lean b/src/lake/Lake/Util/Proc.lean
index ec4dd70bc44f..f40f70d92345 100644
--- a/src/lake/Lake/Util/Proc.lean
+++ b/src/lake/Lake/Util/Proc.lean
@@ -57,6 +57,7 @@ def testProc (args : IO.Process.SpawnArgs) : BaseIO Bool :=
   EIO.catchExceptions (h := fun _ => pure false) do
     let child ← IO.Process.spawn {
       args with
+      stdin := IO.Process.Stdio.null
       stdout := IO.Process.Stdio.null
       stderr := IO.Process.Stdio.null
     }