From 75ea9c35db0540893523f87d31b3890816ea768d Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Tue, 15 May 2018 14:33:27 +0200 Subject: [PATCH] Minor: Add comma to audio/bus.cc log message --- repos/dde_bsd/src/lib/audio/bus.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/dde_bsd/src/lib/audio/bus.cc b/repos/dde_bsd/src/lib/audio/bus.cc index 4d5c795ae..59141cdcc 100644 --- a/repos/dde_bsd/src/lib/audio/bus.cc +++ b/repos/dde_bsd/src/lib/audio/bus.cc @@ -186,7 +186,7 @@ class Pci_driver : public Bsd::Bus_driver if ((device.device_id() == PCI_PRODUCT_INTEL_CORE4G_HDA_2) || (bus == 0 && dev == 3 && func == 0)) { Genode::warning("ignore ", (unsigned)bus, ":", (unsigned)dev, ":", - (unsigned)func, "not supported HDMI/DP HDA device"); + (unsigned)func, ", not supported HDMI/DP HDA device"); continue; }