diff options
Diffstat (limited to 'os/src/fprintf.c')
-rw-r--r-- | os/src/fprintf.c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/os/src/fprintf.c b/os/src/fprintf.c deleted file mode 100644 index a56ed33..0000000 --- a/os/src/fprintf.c +++ /dev/null @@ -1,14 +0,0 @@ -#include <reent.h> -#include <stdio.h> -#include <stdarg.h> -#include "osdebug.h" - -int fprintf(FILE * file, const char * fmt, ...) { - int r; - va_list ap; -// DBGOUT("fprintf(%p, %p, ...)\r\n", file, fmt); - va_start(ap, fmt); - r = _vfprintf_r(_impure_ptr, file, fmt, ap); - va_end(ap); - return r; -} |