diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-02-25 09:18:46 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-02-25 09:19:22 +0100 |
commit | b9d6d39cb2075954d059578ba7a6ef9ac7405fad (patch) | |
tree | 9622ecbd69ef2c43307fe15b67738d475b5bf102 | |
parent | ed15643221ca252e8a82a5d771487a51d8bb094b (diff) |
linkers: Include proper header file
-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>" |