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

This commit is contained in:
Erik van der Kouwe 2010-10-04 17:38:53 +00:00
parent 40ccb7ed54
commit 7bc944c8a9

View file

@ -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 *