From cfd43106845e64736a8a1c007648268bcf073af7 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 29 Jan 2014 16:56:16 +0100
Subject: [PATCH] libc_noux & 64bit: fix printf format-warning

Normally for intptr_t the printf format PRIiPTR should be used. As Genode
printf doens't support this format we cast it to long int (intptr_t is int
for 32 bit and long int for 64 bit).

ref #989
---
 ports/src/lib/libc_noux/plugin.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/src/lib/libc_noux/plugin.cc b/ports/src/lib/libc_noux/plugin.cc
index 56cfb5feba..c5f132dca1 100644
--- a/ports/src/lib/libc_noux/plugin.cc
+++ b/ports/src/lib/libc_noux/plugin.cc
@@ -261,7 +261,7 @@ extern "C" uid_t geteuid()
 void *sbrk(intptr_t increment)
 {
 	if (verbose)
-		PDBG("not implemented %d", increment);
+		PDBG("not implemented %ld", (long int)increment);
 	errno = ENOMEM;
 	return reinterpret_cast<void *>(-1);
 }