* device/lib/pic/libdev/pic12f683.c,
[fw/sdcc] / sdccconf_in.h
index a34379dd6c0004400b35bfd026cf71568ccd3629..4c6511561bbdf7b49704bcc7e06cbcd900dfd6b5 100644 (file)
@@ -39,8 +39,6 @@
 #undef STD_DS400_LIB
 #undef STD_XA51_LIB
 
-#undef HAVE_SYS_SOCKET_H
-
 #undef HAVE_STRERROR
 #undef HAVE_VSNPRINTF
 #undef HAVE_SNPRINTF
@@ -52,9 +50,9 @@
 #undef TYPE_BYTE
 #undef TYPE_WORD
 #undef TYPE_DWORD
-#define TYPE_UBYTE unsigned TYPE_BYTE
-#define TYPE_UWORD unsigned TYPE_WORD
-#define TYPE_UDWORD unsigned TYPE_DWORD
+#undef TYPE_UBYTE
+#undef TYPE_UWORD
+#undef TYPE_UDWORD
 
 #undef WORDS_BIGENDIAN
 
@@ -68,6 +66,7 @@
 #undef OPT_DISABLE_PIC
 #undef OPT_DISABLE_PIC16
 #undef OPT_DISABLE_XA51
+#undef OPT_DISABLE_HC08
 
 #undef OPT_ENABLE_LIBGC