From b9d6d39cb2075954d059578ba7a6ef9ac7405fad Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 25 Feb 2020 09:18:46 +0100
Subject: linkers: Include proper header file

---
 linkers/rtld-print.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'linkers')

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>"
-- 
cgit v1.2.3