* device/include/mcs51/c8051f040.h: added define CPT2_PAGE

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

diff --git a/device/include/stdio.h b/device/include/stdio.h
index d96ebc2883ea5d35237f1c4ac0431bd6a251c2bb..d02c5eb1c133f2189325ebda66bf9491a24a1bd8 100644 (file)
--- a/device/include/stdio.h
+++ b/device/include/stdio.h
@@ -58,7 +58,7 @@ extern char *gets(char *);
 extern char getchar(void);
 extern void putchar(char);
 
-#ifdef __mcs51
+#if defined(SDCC_mcs51) && !defined(SDCC_USE_XSTACK)
 extern void printf_fast(code char *fmt, ...) _REENTRANT;
 extern void printf_fast_f(code char *fmt, ...) _REENTRANT;
 extern void printf_tiny(code char *fmt, ...) _REENTRANT;