2017-01-22 05:14:08 +01:00
|
|
|
#include "crtheaders.h"
|
|
|
|
|
#include STDIO_H
|
|
|
|
|
|
|
|
|
|
/* stdio.h overrides */
|
2017-01-25 23:43:55 +01:00
|
|
|
FILE* w32_fopen_utf8(const char *, const char *);
|
2017-01-22 05:14:08 +01:00
|
|
|
#define fopen w32_fopen_utf8
|
|
|
|
|
|
2017-03-07 01:18:40 +01:00
|
|
|
char* w32_fgets(char *str, int n, FILE *stream);
|
|
|
|
|
#define fgets w32_fgets
|
|
|
|
|
|
|
|
|
|
int w32_setvbuf(FILE *stream,char *buffer, int mode, size_t size);
|
|
|
|
|
#define setvbuf w32_setvbuf
|
|
|
|
|
|
2017-01-22 05:14:08 +01:00
|
|
|
/* stdio.h additional definitions */
|
|
|
|
|
#define popen _popen
|
2017-01-25 23:43:55 +01:00
|
|
|
#define pclose _pclose
|
|
|
|
|
|
|
|
|
|
FILE* w32_fdopen(int fd, const char *mode);
|
|
|
|
|
#define fdopen(a,b) w32_fdopen((a), (b))
|
|
|
|
|
|
|
|
|
|
int w32_rename(const char *old_name, const char *new_name);
|
|
|
|
|
#define rename w32_rename
|
