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.
---
 mach-defpager/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mach-defpager')

diff --git a/mach-defpager/main.c b/mach-defpager/main.c
index 8fbe2adc..27865eea 100644
--- a/mach-defpager/main.c
+++ b/mach-defpager/main.c
@@ -69,7 +69,7 @@ printf_init (device_t master)
   stdin = mach_open_devstream (cons, "r");
   stdout = stderr = mach_open_devstream (cons, "w");
   mach_port_deallocate (mach_task_self (), cons);
-  setbuf (stdout, 0);
+  setlinebuf (stderr);
 }
 
 
-- 
cgit v1.2.3