base: forward args in Output::print

The original version copied the arguments, which does not work for the
output of complex types, in particular non-copyable objects.
This commit is contained in:
Norman Feske 2016-11-04 19:35:38 +01:00 committed by Christian Helmuth
parent 35fa67768f
commit b8e98f2355

View File

@ -233,7 +233,7 @@ namespace Genode {
* Print a variable number of arguments
*/
template <typename HEAD, typename... TAIL>
static inline void print(Output &output, HEAD const &head, TAIL... tail)
static inline void print(Output &output, HEAD const &head, TAIL &&... tail)
{
Output::out_args(output, head, tail...);
}