From e734ffd0d824634818fe30b356632501b7956595 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20M=C3=BCller?= Date: Thu, 7 Jul 2022 18:39:45 +0200 Subject: [PATCH] Convert basic_string to C string. --- src/mx/tasking/profiling/profiling_task.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mx/tasking/profiling/profiling_task.cpp b/src/mx/tasking/profiling/profiling_task.cpp index 4f3fc45..b78076c 100644 --- a/src/mx/tasking/profiling/profiling_task.cpp +++ b/src/mx/tasking/profiling/profiling_task.cpp @@ -100,7 +100,7 @@ void Profiler::stop() output.push_back(std::move(end_output)); //std::ofstream out_file{this->_profiling_output_file.value()}; - Genode::log(output.dump()); // dump to serial console for the moment + Genode::log(output.dump().c_str()); // dump to serial console for the moment } this->_profiling_output_file = std::nullopt;