added stdc time support
[fw/sdcc] / sdccconf_in.h
index 80abeae0bbab1d665e43e61cab106168bc74ed2f..70ca5cfc7958b8befbf0786683868bf739cce454 100644 (file)
 #undef STD_INT_LIB
 #undef STD_LONG_LIB
 #undef STD_FP_LIB
+#undef STD_DS390_LIB
 #undef HAVE_SYS_SOCKET_H
 #undef HAVE_SYS_ISA_DEFS_H
 #undef HAVE_ENDIAN_H
 
+#undef HAVE_STRERROR
+
+#undef OPT_DISABLE_Z80
+#undef OPT_DISABLE_GBZ80
+#undef OPT_DISABLE_MCS51
+#undef OPT_DISABLE_AVR
+
 #endif
 
 /* End of config.h */