From 3ff08d46d98ad72dbcb3a17a0c73afb84f950543 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 25 Aug 2024 23:52:28 +0200
Subject: Fix line-buffered stderr

mach_open_devstream creates a fully-buffered stream by default.
This prevents from seeing various messages.
---
 proc/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proc')

diff --git a/proc/main.c b/proc/main.c
index 747646ef..56ba3d3d 100644
--- a/proc/main.c
+++ b/proc/main.c
@@ -132,7 +132,7 @@ open_console (mach_port_t device_master)
 
   stdin = mach_open_devstream (cons, "r");
   stdout = stderr = mach_open_devstream (cons, "w");
-  setbuf (stdout, NULL);
+  setlinebuf (stderr);
 
   got_console = 1;
   mach_port_deallocate (mach_task_self (), cons);
-- 
cgit v1.2.3