lib/standard/file: Added a way to change the buffering for a specified stream

[nit.git] / lib / standard / file_nit.c

diff --git a/lib/standard/file_nit.c b/lib/standard/file_nit.c
index dc1b7fe..f6a6987 100644 (file)
--- a/lib/standard/file_nit.c
+++ b/lib/standard/file_nit.c
@@ -69,3 +69,7 @@ int file_stdin_poll_in_(void) {
 FILE* file_int_fdtostream(int fd, char* mode){
        return fdopen(fd, mode);
 }
+
+int file_NativeFile_NativeFile_set_buffering_type_0(FILE* f, int buf_sz, int mode){
+       return setvbuf(f, NULL, mode, buf_sz);
+}