9os

commit 1ce643acc3768d67e5769514bd626bd18365f3b2
parent 573aeef12312a147f97a1a077ee822763f57a328
Author: Dimitris Papastamos <dimitris.papastamos@arm.com>
Date:   Mon, 22 Oct 2018 14:07:43 +0100

[libc] Write a character not an int

Change-Id: I84b3ec1c84ad318943a619fba61202f572885d95
Signed-off-by: Dimitris Papastamos <dimitris.papastamos@arm.com>

Diffstat:
M
src/libc/printk.c
 | 
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/libc/printk.c b/src/libc/printk.c
@@ -7,7 +7,8 @@
 static void
 putch(int c)
 {
-	_write(1, &c, 1);
+	char ch = c;
+	_write(1, &ch, 1);
 }
 
 static void