From ff28a890006337c14787c8933319451404003d47 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 12 Mar 2014 13:41:05 +0100
Subject: [PATCH] noux: make RM replay less noisy in release mode
As the message "replay: missing dataspace info for ..." occurs multiple times
on every fork, it slows down at least noux_tool_chain_auto with hw_arndale
about 10 seconds. To avoid this overhead in release mode I've turned it into a
warning rather than an error.
ref #1096
---
ports/src/noux/rm_session_component.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ports/src/noux/rm_session_component.h b/ports/src/noux/rm_session_component.h
index a945da1d54..d60d7ac6d6 100644
--- a/ports/src/noux/rm_session_component.h
+++ b/ports/src/noux/rm_session_component.h
@@ -175,7 +175,7 @@ class Noux::Rm_session_component : public Rpc_object<Rm_session>
} else {
- PERR("replay: missing ds_info for dataspace at addr 0x%lx",
+ PWRN("replay: missing ds_info for dataspace at addr 0x%lx",
curr->local_addr);
/*