@@ -571,7 +571,7 @@ void rt_components_board_init(void);
#define rt_kputs(str)
#else
#if defined(__ARMCC_VERSION) || defined(__GNUC__) || \
- defined(__TI_COMPILER_VERSION__)
+ defined(__ICCARM__) || defined(__TI_COMPILER_VERSION__)
int rt_kprintf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
int rt_kprintf(const char *fmt, ...);