Convert basic_string to C string.

This commit is contained in:
Michael Müller
2022-07-07 18:39:45 +02:00
parent 360de88fca
commit e734ffd0d8

View File

@@ -100,7 +100,7 @@ void Profiler::stop()
output.push_back(std::move(end_output)); output.push_back(std::move(end_output));
//std::ofstream out_file{this->_profiling_output_file.value()}; //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; this->_profiling_output_file = std::nullopt;