From: Erik van der Kouwe <erik@minix3.org>
Date: Mon, 4 Oct 2010 17:38:53 +0000 (+0000)
Subject: fflush is neither needed nor allowed in system srvers, which is where SEF is used
X-Git-Tag: v3.2.0~794
X-Git-Url: http://zhaoyanbai.com/repos/icons/apache_pb.png?a=commitdiff_plain;h=7bc944c8a90b8731d7aec93c95cce65416ee9ba2;p=minix.git

fflush is neither needed nor allowed in system srvers, which is where SEF is used
---

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 <stdio.h>
 #define sef_dprint                      printf
 #define sef_debug_begin()               (void)(NULL)
-#define sef_debug_end()                 fflush(stdout)
+#define sef_debug_end()                 (void)(NULL)
 
 /*===========================================================================*
  *				  SEF Init				     *