-/* $Id$ */
-
/* fflush( FILE * )
This file is part of the Public Domain C Library (PDCLib).
extern FILE * _PDCLIB_filelist;
-int fflush_unlocked( FILE * stream )
+int _PDCLIB_fflush_unlocked( FILE * stream )
{
if ( stream == NULL )
{
int fflush( FILE * stream )
{
- flockfile( stream );
- int res = fflush_unlocked(stream);
- funlockfile( stream );
+ _PDCLIB_flockfile( stream );
+ int res = _PDCLIB_fflush_unlocked(stream);
+ _PDCLIB_funlockfile( stream );
return res;
}