From 7bc944c8a90b8731d7aec93c95cce65416ee9ba2 Mon Sep 17 00:00:00 2001 From: Erik van der Kouwe Date: Mon, 4 Oct 2010 17:38:53 +0000 Subject: [PATCH] fflush is neither needed nor allowed in system srvers, which is where SEF is used --- include/minix/sef.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/minix/sef.h b/include/minix/sef.h index 9bb2414b1..bd9e8fadd 100644 --- a/include/minix/sef.h +++ b/include/minix/sef.h @@ -16,7 +16,7 @@ _PROTOTYPE( void sef_exit, (int status) ); #include #define sef_dprint printf #define sef_debug_begin() (void)(NULL) -#define sef_debug_end() fflush(stdout) +#define sef_debug_end() (void)(NULL) /*===========================================================================* * SEF Init * -- 2.44.0