Re-worked the makefiles and includes to target z80 and gbz80 as well

[fw/sdcc] / device / include / stdio.h

diff --git a/device/include/stdio.h b/device/include/stdio.h
index 4f145a912c68a36ae13826312cac6067fd4f4fc1..5cbd260faca2149889878eec8a959c711bdffef0 100644 (file)
--- a/device/include/stdio.h
+++ b/device/include/stdio.h
@@ -31,20 +31,16 @@
 #include <tinibios.h>
 #endif
 
-extern printf_small (char *,...) reentrant;
-extern printf (const char *,...) reentrant;
+#include <sdcc-lib.h>
+
+extern void printf_small (char *,...) _REENTRANT;
+extern int printf (const char *,...) _REENTRANT;
 extern int vprintf (const char *, va_list);
-extern int sprintf (const char *, const char *, ...) reentrant;
+extern int sprintf (const char *, const char *, ...) _REENTRANT;
 extern int vsprintf (const char *, const char *, va_list);
 extern int puts(const char *);
 extern char *gets(char *);
 extern char getchar(void);
 extern void putchar(char);
 
-#endif __SDC51_STDIO_H
-
-
-
-
-
-
+#endif /* __SDC51_STDIO_H */