-/* $Id$ */
-
/* fflush( FILE * )
This file is part of the Public Domain C Library (PDCLib).
#include <stdio.h>
#ifndef REGTEST
-#include <_PDCLIB_io.h>
+#include "_PDCLIB_io.h"
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;
}
#endif
#ifdef TEST
-#include <_PDCLIB_test.h>
+#include "_PDCLIB_test.h"
int main( void )
{