From e95d7a8fa2418e732366ee163445eea5d94ef0f5 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Mon, 18 Jul 2016 17:18:17 +0200 Subject: [PATCH] report_rom: fix warning message Fix #2036 --- repos/os/run/report_rom.run | 3 +-- repos/os/src/server/report_rom/rom_registry.h | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/repos/os/run/report_rom.run b/repos/os/run/report_rom.run index cc499a4048..61fff6a14c 100644 --- a/repos/os/run/report_rom.run +++ b/repos/os/run/report_rom.run @@ -33,8 +33,7 @@ install_config { - - + diff --git a/repos/os/src/server/report_rom/rom_registry.h b/repos/os/src/server/report_rom/rom_registry.h index 7f303f8930..0dcc2fe0dd 100644 --- a/repos/os/src/server/report_rom/rom_registry.h +++ b/repos/os/src/server/report_rom/rom_registry.h @@ -137,7 +137,7 @@ struct Rom::Registry : Registry_for_reader, Registry_for_writer, Genode::Noncopy catch (Session_policy::No_policy_defined) { } } - warning("no valid policy for ROM request \", rom_label.string(), \""); + warning("no valid policy for ROM request '", rom_label.string(), "'"); throw Root::Invalid_args(); }