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 /linkers | |
| parent | linkers: Update due to API changes (diff) | |
| download | rtems-tools-b9d6d39cb2075954d059578ba7a6ef9ac7405fad.tar.bz2 | |
linkers: Include proper header file
Diffstat (limited to 'linkers')
| -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>" |