From c9412d37b9fb27c5e4688031b6652b0ccaf36c34 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= Date: Wed, 16 Apr 2014 13:23:24 +0200 Subject: [PATCH] ram_blk: change blocksize output to decimal Reading 200 instead of 512 is confusing. Fixes #1142. --- repos/os/src/server/ram_blk/main.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/src/server/ram_blk/main.cc b/repos/os/src/server/ram_blk/main.cc index 63bea1dca..48354589d 100644 --- a/repos/os/src/server/ram_blk/main.cc +++ b/repos/os/src/server/ram_blk/main.cc @@ -124,7 +124,7 @@ struct Main } catch (...) { } - PINF("Using file=%s as device with block size %zx.", file, blk_sz); + PINF("Using file=%s as device with block size %zd.", file, blk_sz); try { return new (Genode::env()->heap()) Ram_blk(file, blk_sz);