diff options
Diffstat (limited to 'os/src/fflush.c')
-rw-r--r-- | os/src/fflush.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/os/src/fflush.c b/os/src/fflush.c deleted file mode 100644 index 84e2c67..0000000 --- a/os/src/fflush.c +++ /dev/null @@ -1,7 +0,0 @@ -#include <stdio.h> -#include "osdebug.h" - -int fflush(FILE * file) { -// DBGOUT("fflush(%p)\r\n", file); - return _fflush_r(_impure_ptr, file); -} |