-/* $Id$ */
-
/* fflush( FILE * )
This file is part of the Public Domain C Library (PDCLib).
#include <stdio.h>
#ifndef REGTEST
-#include <_PDCLIB_glue.h>
+#include <_PDCLIB_io.h>
-extern struct _PDCLIB_file_t * _PDCLIB_filelist;
+extern FILE * _PDCLIB_filelist;
-int fflush_unlocked( struct _PDCLIB_file_t * stream )
+int _PDCLIB_fflush_unlocked( FILE * stream )
{
if ( stream == NULL )
{
}
}
-int fflush( struct _PDCLIB_file_t * stream )
+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;
}