diff --git a/repos/os/include/os/reporter.h b/repos/os/include/os/reporter.h index 5c100d560f..c9a00bb58d 100644 --- a/repos/os/include/os/reporter.h +++ b/repos/os/include/os/reporter.h @@ -146,7 +146,8 @@ class Genode::Reporter : Noncopyable reporter._xml_name.string(), func) { - reporter._conn->report.submit(used()); + if (reporter.enabled()) + reporter._conn->report.submit(used()); } }; };