Re-worked the makefiles and includes to target z80 and gbz80 as well
[fw/sdcc] / device / lib / printf_large.c
index ce799a3397e8b9218dce2e9537777846c32cbf68..d7ec601b54236fcb84d49163c996c56f8b173895 100644 (file)
@@ -25,7 +25,7 @@
 #include <stdarg.h>
 #include <stdio.h>
 
-int printf (const char *format, ...) reentrant
+int printf (const char *format, ...) _REENTRANT
 {
   va_list arg;
   int done;
@@ -37,7 +37,7 @@ int printf (const char *format, ...) reentrant
   return done;
 }
 
-int sprintf (const char *buf, const char *format, ...) reentrant
+int sprintf (const char *buf, const char *format, ...) _REENTRANT
 {
   va_list arg;
   int done;