From 5754656f65205ff1fd9b23c2a85778b3671caf68 Mon Sep 17 00:00:00 2001
From: "Nicolas \"Pixel\" Noble" <pixel@nobis-crew.org>
Date: Fri, 28 Jan 2011 23:59:37 +0100
Subject: stdio is working up to the point printf works.

---
 os/src/fflush.c | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 os/src/fflush.c

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);
+}
-- 
cgit v1.2.3