device/include/mcs51/uPSD33xx.h: Added.

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

diff --git a/device/include/ctype.h b/device/include/ctype.h
index a815047991c43798236c1c4bc1254a3818484d6d..f30bf8d9559304376ae59bcb18039efd3c22c6bf 100644 (file)
--- a/device/include/ctype.h
+++ b/device/include/ctype.h
@@ -32,18 +32,19 @@
 #ifndef __SDC51_CTYPE_H
 #define __SDC51_CTYPE_H 1
 
+#include <sdcc-lib.h>
+
 #ifdef SDCC_STACK_AUTO
-#warning Make sure you recompile _is*.c files as 'reentrant'
-
-extern char  iscntrl   (unsigned char ) reentrant ;
-extern char  isdigit   (unsigned char ) reentrant ;
-extern char  isgraph   (unsigned char ) reentrant ;
-extern char  islower   (unsigned char ) reentrant ;
-extern char  isupper   (unsigned char ) reentrant ;
-extern char  isprint   (unsigned char ) reentrant ;
-extern char  ispunct   (unsigned char ) reentrant ;
-extern char  isspace   (unsigned char ) reentrant ;
-extern char  isxdigit  (unsigned char ) reentrant ;
+
+extern char  iscntrl   (unsigned char ) _REENTRANT ;
+extern char  isdigit   (unsigned char ) _REENTRANT ;
+extern char  isgraph   (unsigned char ) _REENTRANT ;
+extern char  islower   (unsigned char ) _REENTRANT ;
+extern char  isupper   (unsigned char ) _REENTRANT ;
+extern char  isprint   (unsigned char ) _REENTRANT ;
+extern char  ispunct   (unsigned char ) _REENTRANT ;
+extern char  isspace   (unsigned char ) _REENTRANT ;
+extern char  isxdigit  (unsigned char ) _REENTRANT ;
 
 #else