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 9bb2414b172d744e78a1e801e8318226cb63f46e..bd9e8fadd4cf51cee0bdff1946b43109a3d300fb 100644 (file)
--- 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                                   *