From e6c7596af5bb32996d33dbce027b3ed6e12a2318 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 26 Mar 2014 15:03:24 +0100
Subject: [PATCH] ldso: flush the log console in 'errx()'

The error message given to the 'errx()' function does not always contain a
'\n' character. Adding 'printf("\n")' ensures that the message appears on
the log console.

Fixes #1103.
---
 os/src/lib/ldso/err.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/os/src/lib/ldso/err.cc b/os/src/lib/ldso/err.cc
index bf044879cf..ccc1da28ac 100644
--- a/os/src/lib/ldso/err.cc
+++ b/os/src/lib/ldso/err.cc
@@ -23,6 +23,7 @@ extern "C" void errx(int eval, const char *fmt, ...)
 	va_start(args, fmt);
 	vprintf(fmt, args);
 	va_end(args);
+	printf("\n");
 	env()->parent()->exit(eval);
 	while(1) ;
 }