diff options
Diffstat (limited to '')
-rw-r--r-- | linkers/rtld-print.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linkers/rtld-print.ini b/linkers/rtld-print.ini index b9b524f..9f7f578 100644 --- a/linkers/rtld-print.ini +++ b/linkers/rtld-print.ini @@ -91,4 +91,4 @@ static inline void rtld_pg_printk_ret(const char* ret_type, CODE [printk-generator-headers] -header = "#include <stdio.h>" +header = "#include <rtems/bspIo.h>" |