1 files changed, 5 insertions, 0 deletions
diff --git a/os/src/fflush.c b/os/src/fflush.c
new file mode 100644
index 0000000..fc1bf63
--- /dev/null
+++ b/os/src/fflush.c
@@ -0,0 +1,5 @@
+#include <stdio.h>
+
+int fflush(FILE * file) {
+    return _fflush_r(_impure_ptr, file);
+}